Treffer: Logic in computer science

Titel:

Logic in computer science : modelling and reasoning about systems / Michael Huth ; Mark Ryan

Beteiligt:

Ausgabe:

2. ed.

Veröffentlicht:

Cambridge : Cambridge University Press, 2004

Umfang:

XIV, 427 Seiten : Diagramme ; 25 cm

Publikationstyp:

Buch

Sprache:

Englisch

Anmerkungen:

Literaturverzeichnis Seite 414 - 417

RVK-Notation:

Schlagworte:

ISBN:

052154310X ; 9780521543101

Zusatz-Informationen