Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Februar 2005
Genre:	EDV / Informatik
	C / Compilers & interpreters / Compilers and Interpreters / Computation by Abstract Devices / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computer science—Mathematics / Computers / Discrete Mathematics / Discrete Mathematics in Computer Science / Formal Languages and Automata Theory / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Maths for computer scientists / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Software Engineering / Theory of Computation
ISBN:	9783540249368
EAN-Code:	9783540249368
Verlag:	Springer Nature EN
Einband:	Kartoniert
Sprache:	English
Serie:	#3393 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1380 gr
Seiten:	420
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.