Name: Computer-Aided Verification - Edmund M., Jr. Clarke, Robert P. Kurshan
Price: 70.4 EUR
Author: Edmund M., Jr. Clarke, Robert P. Kurshan
ISBN: 9783540544777

Computer-Aided Verification

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

Description

This volume contains the proceedings of the second workshopon Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990.

In the shopping cart 16 working days Wishlist Ask a question

Free shipping from
€ 19,95 within The Netherlands

Writer: Edmund M., Jr. Clarke, Robert P. Kurshan
Title: Computer-Aided Verification
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Year: 1991
Language: English
Pages: 378
Weight: 1210 gr

EAN: 9783540544777
Dimensions: 235 x 155 x 21 mm
Binding format: Paperback

You will always receive the last edition from us!

Computer-Aided Verification

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

Description

Categories

Ask a question