Formal methods for components and objectsMarcello M. Bonsangue

Formal methods for components and objects

Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever · 2006

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2006
Language: English
Publisher: Springer
Editions: 4
Pages: 429
ISBN: 9783540367499

Data source: Wikidata

More by Marcello M. Bonsangue

Coalgebraic Methods in Computer ScienceMarcello M. Bonsangue

Coalgebraic Methods in Computer Science

Marcello M. Bonsangue · 2014

Formal Methods for Open Object-Based Distributed SystemsMarcello M. Bonsangue

Formal Methods for Open Object-Based Distributed Systems

Marcello M. Bonsangue · 2007