Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	August 2004
Genre:	EDV / Informatik
	Computer architecture & logic design / Computer architecture and logic design / COMPUTERS / Computer Architecture / COMPUTERS / Logic Design / COMPUTERS / Machine Theory / Mathematical theory of computation / Systems analysis & design / Systems analysis and design
ISBN:	9780521543101
EAN-Code:	9780521543101
Verlag:	Cambridge Academic
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 247 mm / B 175 mm / D 21 mm
Gewicht:	750 gr
Illustration:	10 tables 400 exercises, Tabellen, nicht spezifiziert, Worked examples or Exercises
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8