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

Omschrijving

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

In de winkelwagen 17 werkdagen Wenslijst Stel een vraag

Gratis verzending vanaf
€ 19,95 binnen Nederland

Schrijver: Edmund M., Jr. Clarke, Robert P. Kurshan
Titel: Computer-Aided Verification
Uitgever: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Jaar: 1991
Taal: Engels
Pagina's: 378
Gewicht: 1210 gr

EAN: 9783540544777
Afmetingen: 235 x 155 x 21 mm
Bindwijze: Paperback

U ontvangt bij ons altijd de laatste druk!

Computer-Aided Verification

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

Omschrijving

Rubrieken

Stel een vraag