Edité par Cambridge University Press, 2019
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Langue: anglais
Vendeur : Buchpark, Trebbin, Allemagne
EUR 50,40
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
Edité par Cambridge University Press, 2019
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Langue: anglais
Vendeur : Buchpark, Trebbin, Allemagne
EUR 50,40
Autre deviseQuantité disponible : 17 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 78,20
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.