Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Dezember 2010
Genre:	EDV / Informatik
	C / Compiler und Übersetzer / Compilers & interpreters / Computer programming / Computer programming / software engineering / computer science / Computerprogrammierung und Softwareentwicklung / Computers / Mathematical theory of computation / Operating systems / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Programming Techniques / Software Engineering / Software Engineering/Programming and Operating Systems / Theory of Computation mehr...
ISBN:	9783642073069
EAN-Code:	9783642073069
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	Monographs in Theoretical Computer Science. An EATCS Series
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	528 gr
Seiten:	330
Illustration:	IX, 330 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.