Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	September 2013
Genre:	EDV / Informatik
	C / Compilers & interpreters / Computer architecture & logic design / Computer Communication Networks / Computer communication systems / Computer logic / Computer programming / Computer programming / software engineering / computer science / Logics and Meanings of Programs / Network hardware / Operating systems / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Programming Techniques / Software Engineering / Software Engineering/Programming and Operating Systems / Theory of Computation
ISBN:	9783319024431
EAN-Code:	9783319024431
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Serie:	#8172 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D 30 mm
Gewicht:	814 gr
Seiten:	544
Zus. Info:	Paperback
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3  invited talks were carefully selected from73 submissions. The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification, analytical techniques for safety, security, and dependability, testing and runtime analysis based on verification technology, analysis and verification of parallel and concurrent hardware/software systems, verification in industrial practice, and applications and case studies.