2007, ISBN: 9783540697350
Springer, Taschenbuch, Auflage: 2007, 412 Seiten, Publiziert: 2007-02-21T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 1.27 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Mehr…
Amazon.de (Intern... _Gagazet Media_ Gebraucht, wie neu. Versandkosten:Gewöhnlich versandfertig in 4 bis 5 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2007, ISBN: 9783540697350
Springer, Taschenbuch, Auflage: 2007, 412 Seiten, Publiziert: 2007-02-21T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 1.27 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Mehr…
Amazon.de (Intern... Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - neues Buch
2007, ISBN: 3540697357
2007 Kartoniert / Broschiert Programmieren (EDV) / Entwicklung, Verifikation - verifizieren, mit Schutzumschlag neu, [PU:Springer Berlin Heidelberg; Springer Berlin]
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2007, ISBN: 9783540697350
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2007
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 9.95) Details... |
ISBN: 9783540697350
There is currently no description available Books > Computer Science Soft cover, Springer Shop
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Science and General Issues, 4349, Band 4349) - Taschenbuch
2007, ISBN: 9783540697350
Springer, Taschenbuch, Auflage: 2007, 412 Seiten, Publiziert: 2007-02-21T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 1.27 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Mehr…
2007, ISBN: 9783540697350
Springer, Taschenbuch, Auflage: 2007, 412 Seiten, Publiziert: 2007-02-21T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 1.27 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Mehr…
Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - neues Buch
2007
ISBN: 3540697357
2007 Kartoniert / Broschiert Programmieren (EDV) / Entwicklung, Verifikation - verifizieren, mit Schutzumschlag neu, [PU:Springer Berlin Heidelberg; Springer Berlin]
2007, ISBN: 9783540697350
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2007
ISBN: 9783540697350
There is currently no description available Books > Computer Science Soft cover, Springer Shop
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Science and General Issues, 4349, Band 4349)
EAN (ISBN-13): 9783540697350
ISBN (ISBN-10): 3540697357
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Cook, Byron, Springer
394 Seiten
Gewicht: 0,629 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-04T14:42:35+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-04-01T11:53:54+02:00 (Berlin)
ISBN/EAN: 9783540697350
ISBN - alternative Schreibweisen:
3-540-69735-7, 978-3-540-69735-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: byron, cook, andreas
Titel des Buches: 2007, france, 8th, verification model checking abstract interpretation, model interpretations, just trying nice, zero international, computer model, proceedings international conference
Daten vom Verlag:
Autor/in: Byron Cook; Andreas Podelski
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Verification, Model Checking, and Abstract Interpretation - 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
Verlag: Springer; Springer Berlin
395 Seiten
Erscheinungsjahr: 2007-01-03
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 395 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Constraint; Java; abstarct interpretation; abstract domains; abstraction; algorithms; data structure; data structures; debugging techniques; deductive methods; formal verification; optimization; program invariants; programming; programming language; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Theoretische Informatik; Compiler und Übersetzer; EA
Invited Talk.- DIVINE: DIscovering Variables IN Executables.- Session 1.- Verifying Compensating Transactions.- Model Checking Nonblocking MPI Programs.- Model Checking Via ?CFA.- Using First-Order Theorem Provers in the Jahob Data Structure Verification System.- Invited Tutorial.- Interpolants and Symbolic Model Checking.- Session 2.- Shape Analysis of Single-Parent Heaps.- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.- On Flat Programs with Lists.- Invited Talk.- Automata-Theoretic Model Checking Revisited.- Session 3.- Language-Based Abstraction Refinement for Hybrid System Verification.- More Precise Partition Abstractions.- The Spotlight Principle.- Lattice Automata.- Invited Tutorial.- Learning Algorithms and Formal Verification (Invited Tutorial).- Session 4.- Constructing Specialized Shape Analyses for Uniform Change.- Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.- Automated Verification of Shape and Size Properties Via Separation Logic.- Invited Talk.- Towards Shape Analysis for Device Drivers.- Session 5.- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints.- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes.- Symmetry and Completeness in the Analysis of Parameterized Systems.- Better Under-Approximation of Programs by Hiding Variables.- Invited Tutorial.- The Constraint Database Approach to Software Verification.- Session 6.- Constraint Solving for Interpolation.- Assertion Checking Unified.- Invariant Synthesis for Combined Theories.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030670665 Verification, Model Checking, and Abstract Interpretation (Fritz Henglein; Sharon Shoham; Yakir Vizel)
- 9783030670665 Verification, Model Checking, and Abstract Interpretation (Fritz Henglein; Sharon Shoham; Yakir Vizel)
- 9783030393212 Verification, Model Checking, and Abstract Interpretation (Dirk Beyer; Damien Zufferey)
- 9783030112455 Verification, Model Checking, and Abstract Interpretation (Constantin Enea; Ruzica Piskac)
- 9783030112448 Verification, Model Checking, and Abstract Interpretation (Constantin Enea; Ruzica Piskac)
- Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings ... Science Book 9583) (English Edition) (Kenneth McMillan)
< zum Archiv...