- 5 Résultats
prix le plus bas: € 30,29, prix le plus élevé: € 117,39, prix moyen: € 73,37
1
Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - Radhia Cousot
Commander
sur AbeBooks.de
€ 58,80
Envoi: € 2,901
CommanderLien sponsorisé
Radhia Cousot:

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…

NEW BOOK. Frais d'envoi EUR 2.90 AHA-Books, Einbeck, Germany [86569176] [Rating: 5 (von 5)]
2
Commander
sur Indigo.ca
C$ 151,95
(environ € 117,39)
CommanderLien sponsorisé
Static Analysis by Radhia Cousot Paperback | Indigo Chapters - nouveau livre

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…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
3
Static Analysis - Springer Berlin
Commander
sur Thalia.de
€ 79,99
Envoi: € 0,001
CommanderLien sponsorisé
Springer Berlin:
Static Analysis - Livres de poche

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…

Nr. 23488121. Frais d'envoi, Sofort lieferbar, DE. (EUR 0.00)
4
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - Cousot, Radhia und Matthieu Martel
Commander
sur booklooker.de
€ 80,39
Envoi: € 0,001
CommanderLien sponsorisé
Cousot, Radhia und Matthieu Martel:
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…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
5
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - Cousot, Radhia und Matthieu Martel
Commander
sur booklooker.de
€ 30,29
Envoi: € 0,001
CommanderLien sponsorisé
Cousot, Radhia und Matthieu Martel:
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…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Static Analysis by Radhia Cousot Paperback | Indigo Chapters

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. The conference was co-located with 3 affiliated workshops: NSAD 2010 (Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (Workshop on Static Analysis and Systems Biology) and TAPAS 2010 (Tools for Automatic Program Analysis). The 22 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 58 submissions. The papers address all aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, type inference, cache analysis, flow analysis, verification, abstract testing, compiler optimization and program verification.

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...