Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	Juli 2014
Genre:	Schulbücher
	Complex analysis, complex variables / MATHEMATICS / Complex Analysis
ISBN:	9780691606057
EAN-Code:	9780691606057
Verlag:	Princeton University Press
Einband:	Kartoniert
Sprache:	English
Serie:	Princeton Legacy Library Princeton Series in Computer Science
Dimensionen:	H 234 mm / B 156 mm / D 15 mm
Gewicht:	436 gr
Seiten:	284
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo