Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Februar 2005
Genre:	EDV / Informatik
	B / Computer programming / computer science / Computer science—Mathematics / Discrete Mathematics / Discrete Mathematics in Computer Science / Diskrete Mathematik / Mathematik für Informatiker / Maths for computer scientists / Operating systems / Programming Techniques / Software Engineering / Software Engineering/Programming and Operating Systems mehr...
ISBN:	9781852338817
EAN-Code:	9781852338817
Verlag:	Springer EN
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 25 mm
Gewicht:	1670 gr
Seiten:	404
Illustration:	XII, 404 p. 65 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book describes an object-oriented design approach that combines the benefits of abstract modeling with the analytic power of formal methods to give designs that can be rigorously validated and assured with automated support. Aimed at software architects, designers, and developers as well as computer scientists, the elements of functional modeling are introduced using numerous examples and exercises, industrial case studies, and experience reports. Industry-strength tools support the text.