Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - Livres de poche
2010, ISBN: 3642157688
[EAN: 9783642157684], Neubuch, [PU: Berlin Springer Berlin Heidelberg Springer Sep 2010], ANALYSIS, VERIFICATION, OPTIMIZATION, PROGRAMMING, STRUCTURED SYSTEMS TESTING, LOGIC, Besorgungst… Plus…
AbeBooks.de AHA-Books, Einbeck, Germany [86569176] [Rating: 5 (von 5)] NEW BOOK. Frais d'envoi EUR 2.90 Details... |
2010, ISBN: 9783642157684
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming… Plus…
Indigo.ca new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
2010, ISBN: 9783642157684
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming… Plus…
Thalia.de Nr. 23488121. Frais d'envoi, Sofort lieferbar, DE. (EUR 0.00) Details... |
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - livre d'occasion
2010, ISBN: 9783642157684
[PU: Springer Berlin], Neubindung, Buchrücken leicht angestoßen und eingerissen 8647984/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, PayPal, Klarn… Plus…
booklooker.de |
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - livre d'occasion
2010, ISBN: 9783642157684
[PU: Springer Berlin], Neubindung, Buchrücken leicht angestoßen und eingerissen 8647984/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, PayPal, Klarna-Sofortüberweisu… Plus…
booklooker.de |
Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - Livres de poche
2010, ISBN: 3642157688
[EAN: 9783642157684], Neubuch, [PU: Berlin Springer Berlin Heidelberg Springer Sep 2010], ANALYSIS, VERIFICATION, OPTIMIZATION, PROGRAMMING, STRUCTURED SYSTEMS TESTING, LOGIC, Besorgungst… Plus…
2010, ISBN: 9783642157684
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming… Plus…
2010
ISBN: 9783642157684
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming… Plus…
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - livre d'occasion
2010, ISBN: 9783642157684
[PU: Springer Berlin], Neubindung, Buchrücken leicht angestoßen und eingerissen 8647984/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, PayPal, Klarn… Plus…
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - livre d'occasion
2010, ISBN: 9783642157684
[PU: Springer Berlin], Neubindung, Buchrücken leicht angestoßen und eingerissen 8647984/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, PayPal, Klarna-Sofortüberweisu… Plus…
Données bibliographiques du meilleur livre correspondant
Informations détaillées sur le livre - Static Analysis by Radhia Cousot Paperback | Indigo Chapters
EAN (ISBN-13): 9783642157684
ISBN (ISBN-10): 3642157688
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Radhia Cousot
471 Pages
Poids: 0,727 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2009-05-13T00:48:58+02:00 (Zurich)
Page de détail modifiée en dernier sur 2023-06-18T19:58:07+02:00 (Zurich)
ISBN/EAN: 9783642157684
ISBN - Autres types d'écriture:
3-642-15768-8, 978-3-642-15768-4
Autres types d'écriture et termes associés:
Auteur du livre: matthieu, david austin, david allen, james robin, david emerson, stanford, von martel
Titre du livre: perpignan, september, sas, lecture notes computer science, static analysis
Données de l'éditeur
Auteur: Radhia Cousot; Matthieu Martel
Titre: Lecture Notes in Computer Science; Programming and Software Engineering; Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
Editeur: Springer; Springer Berlin
473 Pages
Date de parution: 2010-09-09
Berlin; Heidelberg; DE
Poids: 0,732 kg
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XI, 473 p. 131 illus.
BC; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Analysis; logic; optimization; programming; structured analysis; systems analysis; testing; verification; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Compilers and Interpreters; Programming Techniques; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; EA
Up to date results
Fast conference proceedings
State-of-the-art report
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783031223075 Static Analysis (Gagandeep Singh; Caterina Urban)
< pour archiver...