2002, ISBN: 9783540478133
Verification Model Checking and Abstract Interpretation ab 74.99 € als pdf eBook: Third International Workshop VMCAI 2002 Venice Italy January 21-22 2002 Revised Papers. Aus dem Bereich: … Mehr…
Hugendubel.de Nr. 33581247. Versandkosten:, , DE. (EUR 0.00) Details... |
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers - neues Buch
2002, ISBN: 9783540478133
; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg
hive.co.uk No. 9783540478133. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2003, ISBN: 9783540478133
Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2003
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2002, ISBN: 9783540478133
Verification Model Checking and Abstract Interpretation - Third International Workshop VMCAI 2002 Venice Italy January 21-22 2002 Revised Papers: ab 74.99 € Medien > Bücher > E-books, [PU… Mehr…
eBook.de Nr. 33581247. Versandkosten:, , DE. (EUR 0.00) Details... |
ISBN: 9783540478133
There is currently no description available Books > Computer Science eBook, Springer Shop
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2002, ISBN: 9783540478133
Verification Model Checking and Abstract Interpretation ab 74.99 € als pdf eBook: Third International Workshop VMCAI 2002 Venice Italy January 21-22 2002 Revised Papers. Aus dem Bereich: … Mehr…
Peter Hagedorn:
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers - neues Buch2002, ISBN: 9783540478133
; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg
2003
ISBN: 9783540478133
Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2003
2002, ISBN: 9783540478133
Verification Model Checking and Abstract Interpretation - Third International Workshop VMCAI 2002 Venice Italy January 21-22 2002 Revised Papers: ab 74.99 € Medien > Bücher > E-books, [PU… Mehr…
ISBN: 9783540478133
There is currently no description available Books > Computer Science eBook, Springer Shop
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Verification, Model Checking, and Abstract Interpretation
EAN (ISBN-13): 9783540478133
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-04-25T08:10:48+02:00 (Berlin)
Detailseite zuletzt geändert am 2022-02-11T03:18:27+01:00 (Berlin)
ISBN/EAN: 9783540478133
ISBN - alternative Schreibweisen:
978-3-540-47813-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: agostino, peter hagedorn
Daten vom Verlag:
Autor/in: Agostino Cortesi
Titel: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation - Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Verlag: Springer; Springer Berlin
331 Seiten
Erscheinungsjahr: 2003-07-31
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 331 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Abstract Interpretation; Concurrent Systems; Correct System Design; Formal Methods; Program Analysis; Program Optimization; Program Semantics; Program Specification; Program Verification; Reactive Systems; Temporal Logics; model checking; optimization; verification; C; Theory of Computation; Software Engineering; Computer Science; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Computer Science; Software Engineering; Informatik; Compiler und Übersetzer; BC
Security and Protocols.- Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.- Proofs Methods for Bisimulation Based Information Flow Security.- A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.- Analyzing Cryptographic Protocols in a Reactive Framework.- Timed Systems and Games.- An Abstract Schema for Equivalence-Checking Games.- Synchronous Closing of Timed SDL Systems for Model Checking.- Automata-Theoretic Decision of Timed Games.- Static Analysis.- Compositional Termination Analysis of Symbolic Forward Analysis.- Combining Norms to Prove Termination.- Static Monotonicity Analysis for ?-definable Functions over Lattices.- A Refinement of the Escape Property.- Optimizations.- Storage Size Reduction by In-place Mapping of Arrays.- Verifying BDD Algorithms through Monadic Interpretation.- Improving the Encoding of LTL Model Checking into SAT.- Types and Verification.- Automatic Verification of Probabilistic Free Choice.- An Experiment in Type Inference and Verification by Abstract Interpretation.- Weak Muller Acceptance Conditions for Tree Automata.- A Fully Abstract Model for Higher-Order Mobile Ambients.- Temporal Logics and Systems.- A Simulation Preorder for Abstraction of Reactive Systems.- Approximating ATL* in ATL.- Model Checking Modal Transition Systems Using Kripke Structures.- Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783031249495 Verification, Model Checking, and Abstract Interpretation (Cezara Dragoi; Michael Emmi; Jingbo Wang)
- 9783031249495 Verification, Model Checking, and Abstract Interpretation (Cezara Dragoi; Michael Emmi; Jingbo Wang)
- 9783030393212 Verification, Model Checking, and Abstract Interpretation (Dirk Beyer; Damien Zufferey)
- 9783030670665 Verification, Model Checking, and Abstract Interpretation (Fritz Henglein; Sharon Shoham; Yakir Vizel)
- 9783319737218 Verification, Model Checking, and Abstract Interpretation (Isil Dillig; Jens Palsberg)
- 9783030112448 Verification, Model Checking, and Abstract Interpretation (Constantin Enea; Ruzica Piskac)
- 9783319522333 Verification, Model Checking, and Abstract Interpretation (Ahmed Bouajjani; David Monniaux)
- 9783319737201 Verification, Model Checking, and Abstract Interpretation (Isil Dillig; Jens Palsberg)
- 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...