Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Dezember 2016
Genre:	EDV / Informatik
	angewandte informatik / datamining / EDV / Theorie / Software-Entw. / Software Engineering / formalmethods / HumanComputerInteraction / Künstliche Intelligenz (KI) / Logic / map-reduce / Model-drivensoftwareengineering / modelingmethodologies / OCL / processmining / SAT / Software Engineering / Softwareengineering / Softwaresystemmodels / SoftwareVerificationandValidation / Theoretische Informatik / UML / VALIDATION / Verification / verificationandvalidation / versioncontrol / Visualization mehr...
ISBN:	9783319502298
EAN-Code:	9783319502298
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#9946 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D 28 mm
Gewicht:	756 gr
Seiten:	504
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Practical and foundational advances in software technology.- Formal foundations of software technology.- Testing and formal analysis.- Graph transformations and model transformations.- Model driven engineering, and tools.