Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Systems analysis & design

Buy Now

Computer Aided Verification - 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Paperback, 1995 ed.) Loot Price: R1,715

Discovery Miles 17 150

Repayment Terms: R161 pm x 12*

Add to cart

Computer Aided Verification - 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings...

Computer Aided Verification - 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Paperback, 1995 ed.)

Pierre Wolper

Series: Lecture Notes in Computer Science, 939

(sign in to rate)

Loot Price R1,715 Discovery Miles 17 150 | Repayment Terms: R161 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Li ge, Belgium in July 1995.
The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 939
Release date:	June 1995
First published:	1995
Editors:	Pierre Wolper
Dimensions:	235 x 155 x 23mm (L x W x T)
Format:	Paperback
Pages:	456
Edition:	1995 ed.
ISBN-13:	978-3-540-60045-9
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Promotions
LSN:	3-540-60045-0
Barcode:	9783540600459