Computer Aided Verification: 3rd International Workshop, Cav 92 : Proceedings (Lecture Notes in Computer Science) - Softcover

Softcover

ISBN 10: 0387551794 ISBN 13: 9780387551791

Beispielbild f�r diese ISBN

Computer Aided Verification: 3rd International Workshop, Cav 92 : Proceedings (Lecture Notes in Computer Science)

Kim G. Larsen~A. Skou

Verlag: Springer, 1992

ISBN 10: 0387551794 ISBN 13: 9780387551791

Gebraucht Paperback

Anbieter: Bookmans, Tucson, AZ, USA

Verk�uferbewertung 5 von 5 Sternen

Paperback. Zustand: Good. . Satisfaction 100% guaranteed. Bestandsnummer des Verk�ufers mon0002461322

EUR 37,84

Versand: EUR 3,45

Innerhalb der USA

Anzahl: 1 verf�gbar