Gratis fragt

Logic in Computer Science

Modelling and Reasoning about Systems

Af Michael HuthEngelsk
Salgspris749,95 kr
Vælg format:
Logic in Computer Science

Logic in Computer Science

Lagerstatus kan ændre sig i løbet af dagen. Kontakt derfor butikken for at sikre, at varen stadig er på lager, så du ikke går forgæves.

Klik & hent fragtfrit i din lokale butik eller få varen leveret. Medlemmer får halv pris på fragten

Detaljer

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.

Forfatter

Michael Huth

Forlag

Cambridge University Press

Udgivelsesdato

Opslagsdato

Varegruppe
Edb

Anmeldelser

Brugernes anmeldelser

Vurderet 0.0 ud af 5 baseret på 0 vurderinger

Passer perfekt sammen med

Gør dit køb komplet med produkter, der matcher i stil, tema eller stemning

Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr

Andre fandt også inspiration i

Flere produkter, som fanger nysgerrigheden hos andre kunder

Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr
Produkt 45,00 kr