Logic in Computer Science: Modelling and Reasoning About Systems - Hardcover

Huth, Michael; Ryan, Mark

 
9780521652001: Logic in Computer Science: Modelling and Reasoning About Systems
Hardcover
ISBN 10: 0521652006 ISBN 13: 9780521652001
Verlag: Cambridge University Press, 1999

Inhaltsangabe

Introduction to logic and the logical frameworks used in modelling, specifying and verifying computer systems.

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

Verlag
Cambridge University Press
Erscheinungsdatum
1999
Sprache
Englisch
ISBN 10 
0521652006
ISBN 13 
9780521652001
Einband
Gebundene Ausgabe
Anzahl der Seiten
192
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich

Weitere beliebte Ausgaben desselben Titels

9780521543101: Logic in Computer Science: Modelling and Reasoning about Systems

Vorgestellte Ausgabe

ISBN 10:  052154310X ISBN 13:  9780521543101
Verlag: Cambridge University Press, 2004
Softcover