Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	September 2004
Genre:	EDV / Informatik
	C / Compiler und Übersetzer / Compilers & interpreters / Compilers and Interpreters / Computer architecture & logic design / Computer Communication Networks / Computer communication systems / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computers / Expert systems / knowledge-based systems / Logics and Meanings of Programs / Mathematical theory of computation / Network hardware / Netzwerk-Hardware / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Software Engineering / Special Purpose and Application-Based Systems / Special purpose computers / Theory of Computation / Wissensbasierte Systeme, Expertensysteme mehr...
ISBN:	9783540230687
EAN-Code:	9783540230687
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#3185 - Lecture Notes in Computer Science
Dimensionen:	H 240 mm / B 160 mm / D
Gewicht:	960 gr
Seiten:	297
Illustration:	VII, 297 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Models and Languages.- Decision Problems for Timed Automata: A Survey.- Timed Petri Nets: Efficiency of Asynchronous Systems.- Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing).- Expressiveness of Timed Events and Timed Languages.- Real Time and Stochastic Time.- On the Semantic Foundations of Standard UML 2.0.- Tools and Applications.- A Tutorial on Uppaal.- The IF Toolset.- Embedded Software Analysis with MOTOR.