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

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2009
Language: English
Publisher: Association for Computing Machinery
Editions: 1
ISBN: 9781605586809

Data source: Wikidata

More by 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