
Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures
by Susanne Graf
System designObject-oriented programming (computer science)Formal methods (Computer science)Congresses
Writing a summary for young readers…
For young readers
Book data: Open Library