Välj butik

Visa alla butiker

    Logic in Computer Science: Modelling and Reasoning about Systems

    Logic in Computer Science: Modelling and Reasoning about Systems

    Michael Huth • Mark Ryan

    579:- (889:-)
    • Pocket
    • 440 sidor
    • 2004
    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

    Finns boken i butiken?

    Välj butik för att se lagerstatus och eventuellt reservera boken.

    Ingen butik vald

    Välj butik
    290314

    Ja, finns i vald butik

    Fåtal kvar i vald butik

    Finns ej i vald butik Välj en annan butik eller kontakta oss.

    Tillfälligt slut i vald butik Välj en annan butik eller kontakta oss.

    Beställ i butik Den här boken är en beställningsvara. Välkommen till din butik så hjälper vi dig.

    Ej beställningsbar

    Lagerstatus saknas

    Köp i e-handel

    Hos dig inom 1-3 arbetsdagar

    Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

    • Författare: Michael Huth, Mark Ryan
    • Format: Pocket
    • ISBN: 9780521543101
    • Språk: Engelska
    • Antal sidor: 440
    • Utgivningsdatum: 2004-08-26
    • Förlag: Cambridge University Press

    för att se lokala öppettider, evenemang och personalens tips.

    Idag