Logic in Computer Science (inbunden)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
440
Utgivningsdatum
2004-08-26
Förlag
Cambridge University Press
Dimensioner
246 x 176 x 22 mm
Vikt
920 g
ISBN
9780521543101

Logic in Computer Science

Modelling and Reasoning about Systems

av Michael Huth, Mark Ryan, Michael Huth, Mark Ryan
Häftad,  Engelska, 2004-08-26
689
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Finns även som
Visa alla 2 format & utgåvor
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.
Visa hela texten

Passar bra ihop

  1. Logic in Computer Science
  2. +
  3. Untitled Art

De som köpt den här boken har ofta också köpt Untitled Art av Elisabeth Vincentelli, Insight Editions (inbunden).

Köp båda 2 för 1184 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Michael Huth, Mark Ryan, Michael Huth, Mark Ryan

Du kanske gillar