Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	Oktober 2012
Genre:	EDV / Informatik
	B / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computers / Formal Languages and Automata Theory / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Operating systems / Software Engineering / Software Engineering/Programming and Operating Systems / Theory of Computation mehr...
ISBN:	9781461265184
EAN-Code:	9781461265184
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	Monographs in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	563 gr
Seiten:	348
Illustration:	XV, 348 p.
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 presents a mathematical and logical approach to program and software development suitable for large, distributed systems. The emphasis is on modular system development, and systems engineering, and it explains how software systems can be developed in a systematic way based on mathematical and scientific principles and using well defined interfaces. An essential resource for all researchers and professionals in computer science, software systems engineering and computer engineering.