Title: Software Engineering with OBJ: Algebraic Specification in Action, Author: Joseph A. Goguen
Title: The Object-Z Specification Language, Author: Graeme Smith
Title: Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy, Author: Paolo Ciancarini
Title: Object Oriented Techniques in Telecommunications, Author: E.L. Cusack
Title: Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA, Author: Scott F. Smith
Title: Software Engineering with OBJ: Algebraic Specification in Action, Author: Joseph A. Goguen
Title: Object-Oriented Modeling, Author: Jean-Michel Bergï
Title: Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy, Author: Paolo Ciancarini
Title: Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA, Author: Scott F. Smith
Title: Java Software Solutions / Edition 9, Author: John Lewis
Title: Starting Out with Java: Early Objects / Edition 6, Author: Tony Gaddis
Title: Object-Oriented Data Structures Using Java / Edition 4, Author: Nell Dale
Title: An Introduction to Object-Oriented Programming with Java, Author: C. Thomas Wu
Title: Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, Author: Howard Bowman
Title: UML Diagramming: A Case Study Approach, Author: Suriya Sundaramoorthy
Title: Object-Oriented Design for Temporal GIS, Author: Monica Wachowicz
Title: Multi-Threaded Object-Oriented MPI-Based Message Passing Interface: The ARCH Library, Author: Jean-Marc Adamo
Title: Efficient Polymorphic Calls, Author: Karel Driesen
Title: Advances in Software Tools for Scientific Computing, Author: Hans P. Langtangen
Title: Multi-Threaded Object-Oriented MPI-Based Message Passing Interface: The ARCH Library, Author: Jean-Marc Adamo

Pagination Links