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

Huth, Michael; Ryan, Mark

 
9780521835367: Logic in Computer Science: Modelling and Reasoning about Systems
Hardcover
ISBN 10: 0521835364 ISBN 13: 9780521835367
Verlag: Cambridge University Press, 2007

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Provides a sound basis in logic, and introduces 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
2007
Sprache
Englisch
ISBN 10 
0521835364
ISBN 13 
9780521835367
Einband
Gebundene Ausgabe
Auflage
2
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 2nd Edition Paperback

Vorgestellte Ausgabe

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