Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Langue: anglais
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
EUR 21,61
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 78,20
Quantité 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.
Edité par Cambridge University Press, 2019
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Langue: anglais
Vendeur : Buchpark, Trebbin, Allemagne
EUR 39,22
Quantité disponible : 17 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 442 | Sprache: Englisch | Produktart: Bücher | The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8.
Edité par Cambridge University Press, 2019
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Langue: anglais
Vendeur : Buchpark, Trebbin, Allemagne
EUR 39,22
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Gut. Zustand: Gut | Seiten: 442 | Sprache: Englisch | Produktart: Bücher | The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8.
Edité par Cambridge University Press, 2019
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Langue: anglais
Vendeur : preigu, Osnabrück, Allemagne
EUR 83,45
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Logic in Computer Science 2ed | Michael Huth (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2019 | Cambridge University Press | EAN 9780521543101 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.