- 5 Ergebnisse
Kleinster Preis: € 54,99, größter Preis: € 77,84, Mittelwert: € 66,09
1
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers - Agostino Cortesi
Bestellen
bei ZVAB.com
CHF 70,92
(ca. € 70,88)
Versand: € 19,931
Bestellen
Details beim Anbieter
gesponserter Link
Agostino Cortesi:

Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers - Taschenbuch

2002, ISBN: 3540436316

[EAN: 9783540436317], Neubuch, [SC: 19.93], [PU: Springer Berlin Heidelberg], INFORMATIK; ABSTRACTINTERPRETATION; CONCURRENTSYSTEMS; CORRECTSYSTEMDESIGN; FORMALMETHODS; PROGRAMANALYSIS; P… Mehr…

NEW BOOK. Versandkosten: EUR 19.93 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers - Agostino Cortesi
Bestellen
bei ZVAB.com
€ 71,15
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Agostino Cortesi:

Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers - Taschenbuch

2002, ISBN: 3540436316

[EAN: 9783540436317], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INFORMATIK; ABSTRACTINTERPRETATION; CONCURRENTSYSTEMS; CORRECTSYSTEMDESIGN; FORMALMETHODS; PROGRAMANALYSIS; PRO… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
3
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Paper
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellen
Details und Versand
gesponserter Link
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Paper - neues Buch

2002

ISBN: 9783540436317

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002, held in Venice… Mehr…

new in stock. Versandkosten:plus verzendkosten., zzgl. Versandkosten
zuklappen (X)
4
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers - Cortesi, Agostino (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Cortesi, Agostino (Herausgeber):
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers - neues Buch

2002, ISBN: 3540436316

2002 Kartoniert / Broschiert Informatik, Software Engineering, Theoretische Informatik, abstractinterpretation; concurrentsystems; CorrectSystemDesign; formalmethods; ProgramAnalysis; p… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
5
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers - Cortesi, Agostino (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 77,84
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Cortesi, Agostino (Herausgeber):
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers - neues Buch

2002, ISBN: 3540436316

2002 Kartoniert / Broschiert Informatik, Software Engineering, Theoretische Informatik, abstractinterpretation; concurrentsystems; CorrectSystemDesign; formalmethods; ProgramAnalysis; p… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Paper
Autor:
Titel:
ISBN-Nummer:

9783540436317


This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002, held in Venice, Italy in January 2002.The 22 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on security and protocols, timed systems and games, static analysis, optimization, types and verification, and temporal logics and systems.

Detailangaben zum Buch - Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Paper


EAN (ISBN-13): 9783540436317
ISBN (ISBN-10): 3540436316
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg Core >1
348 Seiten
Gewicht: 0,526 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-03-31T22:55:30+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-10-25T17:37:31+02:00 (Berlin)
ISBN/EAN: 9783540436317

ISBN - alternative Schreibweisen:
3-540-43631-6, 978-3-540-43631-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: agosti, agostino, cortesi, cortes
Titel des Buches: verification model checking abstract interpretation, international model, model interpretations, lecture notes computer science, model modelle modell models, venice, paper model

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: 2002-04-24
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 331 p.

BC; Hardcover, Softcover / 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; Theory of Computation; Software Engineering; Computer Science; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Software Engineering; Informatik; Compiler und Übersetzer; EA

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