Treffer: Logic in computer science

Titel:

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

Beteiligt:

Huth, Michael ; Ryan, Mark

Ausgabe:

2. ed., 5. print. with corr.

Veröffentlicht:

Cambridge [u.a.] : Univ. Press, 2009

Umfang:

XIV, 427 S. : graph. Darst.

Publikationstyp:

Buch

Sprache:

Englisch

Anmerkungen:

Hier auch später erschienene, unveränderte Nachdrucke
Literaturverz. S. 414-417

RVK-Notation:

Schlagworte:

ISBN:

052154310X ; 9780521543101

Zusatz-Informationen