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 GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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: American Mathematical Society
SKU: 06319043
Price: 63902 HUF
Availability: InStock
Author: American Mathem American Mathem
ISBN: 9780821865941

American Mathem American Mathem

Language

English

Book Hardback

Libristo code: 06319043

Publishers American Mathematical Society, June 1991

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Full description

Libristo code: 06319043

436 b

63 902 Ft

50 % chance We search the world When will I receive my book?

30-day return policy

Customers also purchased

ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi

Paperback

8 587 Ft

Zeis Mati Blum

Paperback

6 036 Ft

Nuvole Bianche Nessa 19971995

Paperback

5 717 Ft

Lettres De Gerbert (983-997) Pub. Avec Une Introduction Et Des Notes...

Paperback

10 612 Ft

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.