Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science) - Hardcover

Buch 30 von 40: Cambridge Tracts in Theoretical Computer Science

Melham, T. F.; Melham, Thomas F.

 
9780521417181: Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)
Hardcover
ISBN 10: 052141718X ISBN 13: 9780521417181
Verlag: Cambridge University Press, 1993

Inhaltsangabe

This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Press
Erscheinungsdatum
1993
Sprache
Englisch
ISBN 10 
052141718X
ISBN 13 
9780521417181
Einband
Gebundene Ausgabe
Auflage
1
Anzahl der Seiten
180
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780521115322: Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, 31, Band 31)

Vorgestellte Ausgabe

ISBN 10:  0521115329 ISBN 13:  9780521115322
Verlag: Cambridge University Press, 2009
Softcover