Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	Oktober 2006
Genre:	EDV / Informatik
ISBN:	9780521032513
EAN-Code:	9780521032513
Verlag:	Cambridge University Press
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 244 mm / B 170 mm / D 16 mm
Gewicht:	502 gr
Seiten:	288
Zus. Info:	Paperback
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.