Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Dezember 2015
Genre:	EDV / Informatik
	CloudComputing / Compiler und Übersetzer / complexity / Concurrency / constraint-basedreasoning / distributedsystems / EDV / Theorie / Programmieren / Allgemeines / formalverification / hybridsystems / logicmodelchecking / massiveparallelism / parallelism / reactivesynthesis / Robustness / SAT-solvers / simulations/bisimulations / Software Engineering / Softwaretesting / Softwareverification / swarmverification / symbolicexecution / Theoretische Informatik / timedautomata / weightedautomata mehr...
ISBN:	9783662491218
EAN-Code:	9783662491218
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#9583 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D 31 mm
Gewicht:	855 gr
Seiten:	572
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Abstract Interpretation.- Abstraction.- Hybrid and Timed Systems.- Dynamic and Static Verification.- Probabilistic Systems.- Concurrent Programs.- Parameterized and Component-Based Systems.- Solver Improvements.