Logic in computer science: modelling and reasoning about systems
2. ed.. - Cambridge [u.a.]: Cambridge Univ. Press, 2004
Monographie, Gedruckte Ressource
- XIV, 427 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Logic in computer science: modelling and reasoning about systems
|
---|---|
Verantwortlichkeitsangabe: | Michael Huth and Mark Ryan |
Autor/in / Beteiligte Person: | Huth, Michael (1962-) ; Ryan, Mark (1960-) |
Link: | |
Ausgabe: | 2. ed. |
Veröffentlichung: | Cambridge [u.a.]: Cambridge Univ. Press, 2004 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XIV, 427 S. : graph. Darst. |
ISBN: | 052154310X; 9780521543101 |
Schlagwort: |
|
Sonstiges: |
|