Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	März 2016
Genre:	EDV / Informatik
	AutomatedDebugging / EDV / Theorie / Programmieren / Allgemeines / Formaldevelopment / Formalsemantics / GenericProgramming / geneticalgorithm / lineartemporallogic / modelchecking / Modeldriven / Processscheduling / Real-timesystems / reinforcementlearning / semanticanalysis / SocialNetworks / Software Engineering / SoftwareAnalysis / Softwareengineering / Specification / Systemmodeling / Temporallogic / Theoretische Informatik / Verification / xml mehr...
ISBN:	9783319312194
EAN-Code:	9783319312194
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#9559 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D 13 mm
Gewicht:	353 gr
Seiten:	228
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Modeling and Specification.- Testing and Debugging.- Model Checking and Verification.- Algorithm and Transformation.