Formal methods for components and objects View on Open Library

Formal methods for components and objects

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

No reviews yet
First published: 2006 1 language ISBN: 9783642041679
Subjects
Formal methods (Computer science) Congresses Component software Object-oriented programming (Computer science) Informatique Approche orientee objet (Informatique) Composants logiciels Methodes formelles (Informatique) Congres Computer software

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Marcello M. Bonsangue

Formal methods for components and objects

Formal methods for components and object...

Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Dis...

Data Science and Artificial Intelligence

Data Science and Artificial Intelligence

Coalgebraic Methods in Computer Science

Coalgebraic Methods in Computer Science

Theoretical Aspects of Computing - ICTAC 2024

Theoretical Aspects of Computing - ICTAC...

You Might Also Like

More in Formal methods (Comp...
Software Specification Methods

Software Specification Methods

Henri Habrias
Communicating embedded systems

Communicating embedded systems

Claude Jard
Formal methods for components and objects

Formal methods for components and object...

Frank S. de Boer
Extension Innovation Method

Extension Innovation Method

Chunyan Yang
Modeling in event-b

Modeling in event-b

Jean-Raymond Abrial
Process Algebra for Parallel and Distributed Processing

Process Algebra for Parallel and Distrib...

Michael Alexander