2008, ISBN: 9783540781622
Kartoniert, 340 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Checking, and Abstract Interpreta… Mehr…
buchfreund.de MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2008, ISBN: 9783540781622
th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Checking, and Abstract Interpretation (VMCAI 2008), held in San Francisco, January 7-9, 2008. T… Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2008, ISBN: 9783540781622
Editor: Logozzo, Francesco, Editor: Peled, Doron A. Editor: Zuck, Leonore D. Springer, Paperback, Auflage: 2008, 335 Seiten, Publiziert: 2008-02-26T00:00:01Z, Produktgruppe: Book, Herstel… Mehr…
amazon.co.uk Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) Details... |
2008, ISBN: 9783540781622
Taschenbuch
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, Buch, Softcover, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2008
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 13.95) Details... |
2008, ISBN: 3540781625
[EAN: 9783540781622], Gebraucht, wie neu, [PU: Springer], LIKE NEW, Books
AbeBooks.de Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)] NOT NEW BOOK. Versandkosten: EUR 29.25 Details... |
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - neues Buch
2008, ISBN: 9783540781622
Kartoniert, 340 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Checking, and Abstract Interpreta… Mehr…
2008, ISBN: 9783540781622
th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Checking, and Abstract Interpretation (VMCAI 2008), held in San Francisco, January 7-9, 2008. T… Mehr…
2008
ISBN: 9783540781622
Editor: Logozzo, Francesco, Editor: Peled, Doron A. Editor: Zuck, Leonore D. Springer, Paperback, Auflage: 2008, 335 Seiten, Publiziert: 2008-02-26T00:00:01Z, Produktgruppe: Book, Herstel… Mehr…
2008, ISBN: 9783540781622
Taschenbuch
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, Buch, Softcover, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2008
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings: 4905 (Lecture Notes in Computer Science, 4905)
EAN (ISBN-13): 9783540781622
ISBN (ISBN-10): 3540781625
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer
323 Seiten
Gewicht: 0,514 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2008-01-30T17:47:36+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-08T20:00:06+01:00 (Berlin)
ISBN/EAN: 9783540781622
ISBN - alternative Schreibweisen:
3-540-78162-5, 978-3-540-78162-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: logoz, doron, zuck, leonore, francesco, peled, venice
Titel des Buches: verification model checking abstract interpretation, san francisco 2008, usa 2008, international conference computer science, proceedings the 9th international, model interpretations, usa and away, say this the usa, san francesco, lecture notes computer science
Daten vom Verlag:
Autor/in: Francesco Logozzo; Doron A. Peled; Leonore D. Zuck
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Verification, Model Checking, and Abstract Interpretation - 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Verlag: Springer; Springer Berlin
325 Seiten
Erscheinungsjahr: 2008-02-26
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 325 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Constraint; Debugging; Simulation; abstract domains; abstract interpretation; abstraction; algorithms; formal methods; formal verification; optimization; program analysis; program semantics; programming; programming language; verification; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Theoretische Informatik; Compiler und Übersetzer; EA
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.- CTL as an Intermediate Language.- Multi-valued Logics, Automata, Simulations, and Games.- Verification of Register Allocators.- Program Analysis and Programming Languages for Security.- An Improved Tight Closure Algorithm for Integer Octagonal Constraints.- Handling Parameterized Systems with Non-atomic Global Conditions.- Abstract Interpretation of the Physical Inputs of Embedded Programs.- Diagnostic Information for Realizability.- Approximation Refinement for Interpolation-Based Model Checking.- Abstract Interpretation of Cellular Signalling Networks.- Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?.- Model Checking for Action Abstraction.- On Bridging Simulation and Formal Verification.- Extending Model Checking with Dynamic Analysis.- Deriving Bisimulations by Simplifying Partitions.- Precise Set Sharing Analysis for Java-Style Programs.- Sufficient Preconditions for Modular Assertion Checking.- Runtime Checking for Separation Logic.- Decision Procedures for Multisets with Cardinality Constraints.- All You Need Is Compassion.- A Forward-Backward Abstraction Refinement Algorithm.- Internal and External Logics of Abstract Interpretations.- From LTL to Symbolically Represented Deterministic Automata.- Monitoring Temporal Properties of Stochastic Systems.- A Hybrid Algorithm for LTL Games.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...