Produktbild: Computer Aided Verification

Computer Aided Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

3rd International Workshop, CAV ’91, Aalborg, Denmark, July 1-4,1991.Proceedings, Lecture Notes in Computer Science 575

ISBN: 3540551794
ISBN 13: 9783540551799
Herausgeber: Kim G Larsen/Arne Skou
Verlag: Springer Verlag GmbH
Umfang: xi, 493 S.
Erscheinungsdatum: 22.04.1992
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1434892 Kategorie:

Beschreibung

This volume contains the proceedings of a workshop on computer aided verification. Topics include verification and validation tools for hardware and software, verification methods, and verification theories and their applicability.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …