Title: Object-Based Models and Languages for Concurrent Systems: ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers / Edition 1, Author: Paolo Ciancarini
Title: The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition / Edition 2, Author: Frederick Brooks Jr.
Paperback from $38.57 $63.83 Current price is $38.57, Original price is $63.83.
Title: Simulated And Virtual Realities: Elements Of Perception / Edition 1, Author: K. Carr
Title: Metaclasses and Their Application: Data Model Tailoring and Database Integration / Edition 1, Author: Wolfgang Klas
Title: C and UNIX: Tools for Software Design / Edition 1, Author: Martin L. Barrett
Title: Performance Modeling for Computer Architects / Edition 1, Author: C. M. Krishna
Title: Software Engineering - ESEC '95: 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings / Edition 1, Author: Wilhelm Schïfer
Title: Object Representation in Computer Vision: International NSF-ARPA Workshop, New York City, NY, USA, December 5 - 7, 1994. Proceedings / Edition 1, Author: Martial Hebert
Title: OOER '95 Object-Oriented and Entity-Relationship Modeling: 14th International Conference, Gold Coast, Australia, December 13 - 15, 1995. Proceedings / Edition 1, Author: Michael Papazoglou
Title: Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers / Edition 1, Author: Ed Brinksma
Title: Automated Modeling of Physical Systems / Edition 1, Author: P. Pandurang Nayak
Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem / Edition 1, Author: Patrice Godefroid
Title: Logics for Concurrency: Structure versus Automata / Edition 1, Author: Faron Moller
Title: FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. / Edition 1, Author: Marie-Claude Gaudel
Title: Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. / Edition 1, Author: Tiziana Margaria
Title: Object-Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings / Edition 1, Author: Kokichi Futatsugi
Title: The B Language and Method: A Guide to Practical Formal Development / Edition 1, Author: Kevin Lano
Title: C A Software Engineering Approach / Edition 3, Author: Peter A. Darnell
Title: Algorithms and Data Structures in C++ / Edition 1, Author: Leen Ammeraal
Title: Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings / Edition 1, Author: Martin Wirsing

Pagination Links