Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computer-Aided Verification

Name: Computer-Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05274206
Price: 19925 HUF
Availability: InStock
Author: Edmund M. Clarke
ISBN: 9783540544777

2nd International Conference CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Edmund M. Clarke

Robert P. Kurshan

Language

English

Book Paperback

Libristo code: 05274206

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 1991

This volume contains the proceedings of the second workshop on Computer Aided Verification, held at... Full description

Libristo code: 05274206

136 b

19 925 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Missions Archeologiques Francaises En Orient Aux Xviie Et Xviiie Siecles. Partie 1 Henri Omont

Paperback

15 302 Ft

Die Wirkung von Gleichstrom bei hoher Spannung Sridhar Goud Arelli

Paperback

13 849 Ft

Dvůr vysoko v horách A. K. Mulford

Paperback

4 799 Ft

Viva la Vagina! Nina Brochmann

Adobe ePub DRM

5 062 Ft

Posviť si na to Vesmír - Knížka s baterkou

Spiral bound

5 062 Ft

Constellations et poèmes concrets Eugen Gomringer

Paperback

9 375 Ft

Cizgilerle Psikoloji

Paperback

7 367 Ft

Somewhere In Time (2015 Remaster) Iron Maiden

Audio CD

5 090 Ft

Etude Sur La Marche Et Les Causes de l'Epidemie de Fievre Typhoide Qui a Regne A Macon En 1881 ""

Paperback

5 590 Ft

Den Himmel noch einmal seh'n Karin Wegner

Paperback

3 873 Ft

This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990. It features theoretical results that lead to new or more powerful verification methods. Among these are advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations and proof-checking in controller verification. The motivation for holding a workshop oncomputer aided verification was to bring together work on effective algorithms or methodologies for formal verification - as distinguished, say, from attributes of logics or formal languages. The considerable interest generated by the first workshop, held in Grenoble, June 1989 (see LNCS 407), prompted this second meeting. The general focus of this volume is on the problem of making formal verification feasible for various models of computation. Specific emphasis is on models associated with distributed programs, protocols, and digital circuits. The general test of algorithm feasibility is to embed it into a verification tool, and exercise that tool on realistic examples: the workshop included sessions for the demonstration of new verification tools.