På den här sidan
Ej skönlitteratur, Text · Engelska
Logic in computer science : modelling and reasoning about systems
Michael Huth, 1962-Mark Ryan
ISBN 052154310X, ISBN 9780521543101 · pbk
2. ed.
utgivning
Cambridge : Cambridge Univ. Press, 2004xiv, 427 s.
Michael Huth, Mark Ryan
Bok
Tillgänglighet utifrån medietyp
kategori
Ej skönlitteraturämne
Computer logic, Programmering, Propositional logic, Temporal logic, Branching-time logic, Modal logicsDetaljer
Identifikator
ISBN 052154310X, ISBN 9780521543101 · pbkhar titel
Logic in computer science : modelling and reasoning about systemsupphovsuppgift
Michael Huth, Mark Ryanupplageuppgift
2. ed.utgivning
Cambridge : Cambridge Univ. Press, 2004omfång
xiv, 427 s.Övriga fysiska detaljer
ill.kontrollnummer
9359296 Biblioteksspecifik information (bestånd)
Chalmers tekniska högskola · Huvudbiblioteket (Z)
klassifikationQA 76.83 (LC-klassifikation), QA 9 (LC-klassifikation)
ID / Permalänk: https://libris.kb.se/6phgq5qj51s43t5#it
Ladda ner metadata: JSON-LD · Turtle · RDF/XML · MARC21 (ISO 2709) · MARC21 (XML)
Visa metadata i Libris katalogisering · Visa metadata i gamla Libris