tiziana margaria
Leveraging Applications of Formal Methods, Verification and Validation
EbookSofort lieferbarThis book constitutes the thoroughly refereed proceedings of the Third International Symposium on...
Semantic Web Services Challenge
EbookSofort lieferbarService-Oriented Computing is one of the most promising software engineering trends because of th...
Formal Methods for Industrial Critical Systems
EbookSofort lieferbarToday, formal methods are widely recognized as an essential step inthe design process of industri...
Formal Methods for Industrial Critical Systems
EbookSofort lieferbarToday, formal methods are widely recognized as an essential step inthe design process of industri...
Models, Mindsets, Meta: The What, the How, and the Why Not?
EbookSofort lieferbarThis Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical Uni...
SOFSEM 2015: Theory and Practice of Computer Science
EbookSofort lieferbarThis book constitutes the proceedings of the 41st International Conference on Current Trends in T...
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
EbookSofort lieferbarThe four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of t...
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
EbookSofort lieferbarThe four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of t...
SOFSEM 2017: Theory and Practice of Computer Science
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 43rd International Conference on Current Tr...
Leveraging Applications of Formal Methods, Verification and Validation. Verification
EbookSofort lieferbarThe four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of t...
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
EbookSofort lieferbarThe four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of t...
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
EbookSofort lieferbarThe two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Intern...