Logic in Computer Science
Modelling and Reasoning about Systems
0.0
( 0 )
Engelsk
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. Improvem...
På lager i 0 butikker.
Forlagsbeskrivelse af Logic in Computer Science af Michael Huth
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. 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.
Detaljer
Forlag
Cambridge University Press
ISBN
9780521543101
Sprog
Engelsk
Sider
440
Udgivelsesdato
26-08-2004
Format
Paperback
Varenr.
1995495
EAN nr.
9780521543101
Varegruppe
Edb
Højde/Dybde (mm)
22
Bredde (mm)
173
Længde (mm)
246
Vægt (g)
804