- 5 Results
Lowest price: € 37.99, highest price: € 58.10, average price: € 51.31
1
Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings - Anders P. Ravn
Order
at ZVAB.com
€ 58.10
Shipment: € 0.001
Order
Provider details
Sponsored link
Anders P. Ravn:

Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings - Paperback

2009, ISBN: 3642047602

[EAN: 9783642047602], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. QUALITÄTSSICHERUNG, QUALITÄT; QUALITÄTSSICHERUNG; SICHERUNG ACTION; AUTOMATA; FORM… More...

NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
close (x)
2
Automated Technology for Verification and Analysis - Herausgegeben:Liu, Zhiming; Ravn, Anders P.
Order
at booklooker.de
€ 37.99
Shipment: € 0.001
Order
Provider details
Sponsored link

Herausgegeben:Liu, Zhiming; Ravn, Anders P.:

Automated Technology for Verification and Analysis - Paperback

2009, ISBN: 9783642047602

[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verif… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
close (x)
3
Automated Technology for Verification and Analysis - Anders P. Ravn
Order
at booklooker.de
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Anders P. Ravn:
Automated Technology for Verification and Analysis - Paperback

2009

ISBN: 9783642047602

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analys… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) BuchWeltWeit Inh. Ludwig Meier e.K.
close (x)
4
Automated Technology for Verification and Analysis, Kartoniert (TB)
Order
at Weltbild.de
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Automated Technology for Verification and Analysis, Kartoniert (TB) - new book

2009, ISBN: 3642047602

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 re… More...

Nr. 20350005. Shipping costs:, 2-5 Werktage, DE. (EUR 0.00)
close (x)
5
Automated Technology for Verification and Analysis
Order
at Springer.com
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Automated Technology for Verification and Analysis - new book

2009, ISBN: 9783642047602

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 re… More...

Nr. 978-3-642-04760-2. Shipping costs:Worldwide free shipping, , DE. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Automated Technology for Verification and Analysis
Author:
Title:
ISBN:

9783642047602


This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.

Details of the book - Automated Technology for Verification and Analysis


EAN (ISBN-13): 9783642047602
ISBN (ISBN-10): 3642047602
Hardcover
Paperback
Publishing year: 2009
Publisher: Springer Berlin
414 Pages
Weight: 0,657 kg
Language: eng/Englisch

Book in our database since 2008-10-29T16:21:44+00:00 (London)
Book found last time on 2024-04-16T21:10:52+01:00 (London)
ISBN/EAN: 9783642047602

ISBN - alternate spelling:
3-642-04760-2, 978-3-642-04760-2
Alternate spelling and related search-keywords:
Book author: liu, will anders, ravn
Book title: macao, engineering china, analysis, international symposium programming, 2009, october, proceedings the

Information from Publisher

Author: Zhiming Liu; Anders P. Ravn
Title: Programming and Software Engineering; Lecture Notes in Computer Science; Automated Technology for Verification and Analysis - 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Publisher: Springer; Springer Berlin
414 Pages
Publishing year: 2009-09-29
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 414 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; Action; Analysis; automata; formal methods; logic; model checking; petri nets; program analysis; req; software engineering; software verification; systems analysis; theorem proving; validation; verification; algorithm analysis and problem complexity; Theory of Computation; Programming Techniques; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Algorithms; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; Algorithmen und Datenstrukturen; EA

Invited Talks.- Verifying VLSI Circuits.- 3-Valued Abstraction for (Bounded) Model Checking.- Local Search in Model Checking.- State Space Reduction.- Exploring the Scope for Partial Order Reduction.- State Space Reduction of Linear Processes Using Control Flow Reconstruction.- A Data Symmetry Reduction Technique for Temporal-epistemic Logic.- Tools.- TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets.- CLAN: A Tool for Contract Analysis and Conflict Discovery.- UnitCheck: Unit Testing and Model Checking Combined.- Probabilistic Systems.- LTL Model Checking of Time-Inhomogeneous Markov Chains.- Statistical Model Checking Using Perfect Simulation.- Quantitative Analysis under Fairness Constraints.- A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems.- Medley.- Memory Usage Verification Using Hip/Sleek.- Solving Parity Games in Practice.- Automated Analysis of Data-Dependent Programs with Dynamic Memory.- Temporal Logic I.- On-the-fly Emptiness Check of Transition-Based Streett Automata.- On Minimal Odd Rankings for Büchi Complementation.- Specification Languages for Stutter-Invariant Regular Properties.- Abstraction and Refinement.- Incremental False Path Elimination for Static Software Analysis.- A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement.- Don’t Know for Multi-valued Systems.- Logahedra: A New Weakly Relational Domain.- Fault Tolerant Systems.- Synthesis of Fault-Tolerant Distributed Systems.- Formal Verification for High-Assurance Behavioral Synthesis.- Dynamic Observers for the Synthesis of Opaque Systems.- Temporal Logic II.- Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.- LTL Model Checking for Recursive Programs.- OnDetecting Regular Predicates in Distributed Systems.
< to archive...