Logic in computer science: modelling and reasoning about systems
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Huth, Michael (VerfasserIn), Ryan, Mark 1962- (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Cambridge [u.a.] Cambridge Univ. Press 2004
Ausgabe:2. ed.
Schlagworte:
Online-Zugang:Inhaltsverzeichnis
Beschreibung:Hier auch später erschienene, unveränderte Nachdrucke
Beschreibung:XIV, 427 S. graph. Darst.
ISBN:052154310X
9780521543101

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis