Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	August 2017
Genre:	Schulbücher
	algorithmanalysisandproblemcomplexity / Automatentheorie / comnputersoftwareselection / Compiler und Übersetzer / Computermodellierung und -simulation / modelchecking / Semantics / Software Engineering / Softwareengineering / specifications / Theoretische Informatik / timedautomata mehr...
ISBN:	9783319657646
EAN-Code:	9783319657646
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#10419 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D 20 mm
Gewicht:	552 gr
Seiten:	364
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.