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

Huth, Michael

 
9780521543101: Logic in Computer Science: Modelling and Reasoning about Systems
Softcover
ISBN 10: 052154310X ISBN 13: 9780521543101
Verlag: Cambridge University Press, 2004

Inhaltsangabe

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8

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

Verlag
Cambridge University Press
Erscheinungsdatum
2004
Sprache
Englisch
ISBN 10 
052154310X
ISBN 13 
9780521543101
Einband
Taschenbuch
Auflage
2
Anzahl der Seiten
442
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich