Michael Huth (Technology Imperial College of Science and Medicine, Mark Ryan (University of Birmingham)

Logic in Computer Science 2ed

• Broschiertes Buch

Produktbeschreibung

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.

Produktdetails

• Verlag: Cambridge University Press
• 2., überarb. Aufl.
• Seitenzahl: 442
• Erscheinungstermin: 22. März 2019
• Englisch
• Abmessung: 246mm x 189mm x 24mm
• Gewicht: 752g
• ISBN-13: 9780521543101
• ISBN-10: 052154310X
• Artikelnr.: 12609080

Inhaltsangabe

Foreword; 1. Propositional logic; 2. Predicate logic; 3. Verification by model checking; 4. Program verification; 5. Modal logics and agents; 6. Binary decision diagrams; Bibliography; Index.

Rezensionen

'... an unusual, inspiring and remarkable book ... one can find in it all the material which is suitable for undergraduate and beginning graduate students in computer science and electrical engineering who will profit by using it in their professional activities in the near future.' Zentralblatt MATH