Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	November 2006
Genre:	EDV / Informatik
	COMPUTERS / Languages / General / COMPUTERS / Machine Theory / Mathematical theory of computation / Programming & scripting languages# general / Programming and scripting languages# general
ISBN:	9780521032513
EAN-Code:	9780521032513
Verlag:	Cambridge Academic
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 228 mm / B 152 mm / D 17 mm
Gewicht:	469 gr
Illustration:	Worked examples or Exercises
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.