Proceedings of the 8th International Workshop on Specification and Verification of Component-Based SystemsMarieke Huisman

Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems

Marieke Huisman · 2009

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2009
שפה: English
הוצאה: Association for Computing Machinery
מהדורות: 1
ISBN: 9781605586809

מקור הנתונים: Wikidata

עוד של Marieke Huisman

Tests and ProofsMarieke Huisman

Tests and Proofs

Marieke Huisman · 2024

Concise Guide to Software VerificationMarieke Huisman

Concise Guide to Software Verification

Marieke Huisman · 2023

Formal Techniques for Distributed Objects, Components, and SystemsMarieke Huisman

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman · 2023

Formal MethodsMarieke Huisman

Marieke Huisman · 2021

Fundamental Approaches to Software EngineeringMarieke Huisman

Fundamental Approaches to Software Engineering

Marieke Huisman · 2017