Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Juni 2016
Genre:	EDV / Informatik
	adaptivesystems / angewandte informatik / CloudComputing / distributedsystems / EDV / Theorie / Programmieren / Allgemeines / FormalAnalysis / MobileComputingSystems / modularity / objecttechnology / pervasivecomputing / Privacy / Security / service-oriented / Software Engineering / softwareavailability / Softwarequality / SoftwareReliability / softwaresafety / Testing / Theoretische Informatik / ubiquitouscomputing / VALIDATION / Verification mehr...
ISBN:	9783319395692
EAN-Code:	9783319395692
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#9688 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D 16 mm
Gewicht:	446 gr
Seiten:	292
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June2016, as part of the 11th International Federated Conference onDistributed Computing Techniques, DisCoTec 2016. The 18 revised full papers presented were carefully reviewed andselected from 44 submissions. The papers present a wide range of topicson distributed computing models and formal specification, testing, andverification methods.