- 5 Ergebnisse
Kleinster Preis: € 31,45, größter Preis: € 97,80, Mittelwert: € 60,48
1
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceeding
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellen
Details und Versand
gesponserter Link

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceeding - neues Buch

2003, ISBN: 9783540003489

This volume contains the proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9–… Mehr…

new in stock. Versandkosten:plus shipping costs., zzgl. Versandkosten
zuklappen (X)
2
Bestellen
bei ZVAB.com
€ 97,80
Versand: € 4,951
Bestellen
Details beim Anbieter
gesponserter Link

Cortesi Agostino, Mukhopadhyay Supratik, Attie Paul D., Zuck Lenore D.:

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings (Lecture Notes in Computer Science, Band 2575) - Taschenbuch

2002, ISBN: 3540003487

[EAN: 9783540003489], [SC: 4.95], [PU: Springer], ,, Zustand: in gebrauchtem, gutem Zustand, aus Privatbesitz, geringe Lese- Lagerspuren, Altersgemaesse kleinere Maengel sind nicht immer … Mehr…

Versandkosten: EUR 4.95 Antiquariat BuchX, Wolfratshausen, Germany [58516020] [Rating: 4 (von 5)]
zuklappen (X)
3
Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Zuck, Lenore D. (Herausgeber); Mukhopadhyay, Supratik (Herausgeber); Cortesi, Agostino (Herausgeber); Attie, Paul D. (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 57,66
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Zuck, Lenore D. (Herausgeber); Mukhopadhyay, Supratik (Herausgeber); Cortesi, Agostino (Herausgeber); Attie, Paul D. (Herausgeber):
Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - neues Buch

2002

ISBN: 3540003487

2003 Kartoniert / Broschiert Informatik, Verifikation - verifizieren, Software Engineering, Theoretische Informatik, abstractinterpretation; concurrentsystems; modelchecking; programopt… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Bestellen
bei AbeBooks.de
€ 31,45
Versand: € 45,661
Bestellen
Details beim Anbieter
gesponserter Link
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings (Lecture Notes in Computer Science, 2575) - signiertes Exemplar

2002, ISBN: 3540003487

Taschenbuch

[EAN: 9783540003489], Gebraucht, guter Zustand, [PU: Springer], Solid and unmarked text, mild reading wear, exowner name inscribed. Fast Shipping - Safe and Secure Bubble Mailer!, Books

NOT NEW BOOK. Versandkosten: EUR 45.66 Best and Fastest Books, Wantage, NJ, U.S.A. [54930004] [Rating: 5 (von 5)]
zuklappen (X)
5
Bestellen
bei AbeBooks.de
€ 60,51
Versand: € 4,661
Bestellen
Details beim Anbieter
gesponserter Link
Lenore D. Zuck:
Verification; Model Checking; and Abstract Interpretation : 4th International Conference; VMCAI 2003; New York; NY; USA; January 9-11; 2003; Proceedings - Taschenbuch

2002, ISBN: 3540003487

[EAN: 9783540003489], Neubuch, [PU: Springer], PRINT ON DEMAND Book; New; Fast Shipping from the UK., Books

NEW BOOK. Versandkosten: EUR 4.66 Ria Christie Collections, Uxbridge, United Kingdom [59718070] [Rating: 5 (von 5)]
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: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceeding
Autor:
Titel:
ISBN-Nummer:

9783540003489


This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003.The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods.

Detailangaben zum Buch - Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceeding


EAN (ISBN-13): 9783540003489
ISBN (ISBN-10): 3540003487
Taschenbuch
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg Core >1
340 Seiten
Gewicht: 0,515 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-27T11:10:21+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-21T10:42:34+02:00 (Berlin)
ISBN/EAN: 9783540003489

ISBN - alternative Schreibweisen:
3-540-00348-7, 978-3-540-00348-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: mukhopadhyay, zuck, agosti, henry james, supra, agostino, cortesi, cortes, paul
Titel des Buches: verification model checking abstract interpretation, international model, model interpretations, computer model, lecture notes computer science, international conference proceedings, jan, new york notes, abstract usa

Daten vom Verlag:

Autor/in: Lenore D. Zuck; Paul D. Attie; Agostino Cortesi; Supratik Mukhopadhyay
Titel: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation - 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
Verlag: Springer; Springer Berlin
328 Seiten
Erscheinungsjahr: 2002-12-13
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 328 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Abstract Interpretation; Concurrent Systems; Model Checking; Program Optimization; Program Semantics; Program Specification; Program Verification; Reactive Systems; Simulation; Temporal Logics; algorithms; complexity; model construction; structured analysis; verification; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Theoretische Informatik; Compiler und Übersetzer; EA

Invited Talks.- Software Model Checking with Abstraction Refinement.- Model-Checking and Abstraction to the Aid of Parameterized Systems.- Invited Tutorials.- Behavior-Based Model Construction.- Automatic Verification by Abstract Interpretation.- Symmetry Reductions in Model-Checking.- Static Analysis.- CHASE:A Static Checker for JML’s Assignable Clause.- Abstract Interpretation-Based Certification of Assembly Code.- Property Checking Driven Abstract Interpretation-Based Static Analysis.- Optimized Live Heap Bound Analysis.- Dynamic Systems.- Complexity of Nesting Analysis in Mobile Ambients.- Types for Evolving Communication in Safe Ambients.- A Logical Encoding of the ?-Calculus: Model Checking Mobile Processes Using Tabled Resolution.- Abstract Interpretation.- Properties of a Type Abstract Interpreter.- Domain Compression for Complete Abstractions.- Abstraction of Expectation Functions Using Gaussian Distributions.- Model Checking I.- Lifting Temporal Proofs through Abstractions.- Efficient Verification of Timed Automata with BDD-Like Data-Structures.- On the Expressiveness of 3-Valued Models.- Security Protocols.- Bisimulation and Unwinding for Verifying Possibilistic Security Properties.- Formal Verification of the Horn-Preneel Micropayment Protocol.- Formal Methods.- Action Refinement from a Logical Point of View.- Reasoning about Layered Message Passing Systems.- Using Simulated Execution in Verifying Distributed Algorithms.- Model Checking II.- Efficient Computation of Recurrence Diameters.- Shape Analysis through Predicate Abstraction and Model Checking.
Includes supplementary material: sn.pub/extras
< zum Archiv...