← Back to Browse
Formal methods for components and objects

Formal methods for components and objects

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

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
Read on Open Library More by Marcello M. Bonsangue

Related Books

Formal Specification Using Z (Computer Science)

Formal Specification Using Z (Computer Science)

David Lightfoot

19912 ed.
Tests and Proofs Lecture Notes in Computer Science

Tests and Proofs Lecture Notes in Computer Science

Achim D. Brucker

20121 ed.
Formal Methods Foundations and Applications Lecture Notes in Computer Science

Formal Methods Foundations and Applications Lecture Notes in Computer Science

Jim Woodcock

20101 ed.
Algebra and Coalgebra in Computer Science

Algebra and Coalgebra in Computer Science

Alexander Kurz

20091 ed.
Foundations and Practice of Security Lecture Notes in Computer Science

Foundations and Practice of Security Lecture Notes in Computer Science

Pascal Lafourcade

20121 ed.
Formal Methods for Components and Objects Lecture Notes in Computer Science

Formal Methods for Components and Objects Lecture Notes in Computer Science

Frank S. de Boer

20091 ed.
Model Driven Engineering Languages and Systems Lecture Notes in Computer Science

Model Driven Engineering Languages and Systems Lecture Notes in Computer Science

Andy Schurr

20091 ed.
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science

Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science

Claude Jard

20081 ed.