Treffer: Logic in computer science

Titel:

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

Beteiligt:

Huth, Michael ; Ryan, Mark

Veröffentlicht:

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

Umfang:

XVIII, 387 S.

Publikationstyp:

Buch

Sprache:

Englisch

RVK-Notation:

Schlagworte:

ISBN:

0521652006 ; 0521656028

Zusatz-Informationen