Wird geladen...

Logic in computer science Modelling and reasoning about systems /

Bibliographische Detailangaben
1. Verfasser: Huth, Michael
Weitere Verfasser: Ryan , Mark
Sprache:Undetermined
Veröffentlicht: Cambridge Univeristy Press , 2004.
Ausgabe:2nd ed.
Schlagworte:

University of Kerala

Bestandesangaben von University of Kerala
Signatur: D651:(R1) P4
Exemplar Live-Status nicht verfügbar