Title: C and UNIX: Tools for Software Design / Edition 1, Author: Martin L. Barrett
Title: KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report, Author: Manfred Broy
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: 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: Studies of Software Design: ICSE'93 Workshop, Baltimore, Maryland, USA, May (17-18), 1993. Selected Papers, Author: David Alex Lamb
Title: Essential Delphi 2.0 Fast: How to Develop Applications in Delphi 2.0 / Edition 1, Author: John Cowell
Title: Software Process Technology: 5th European Workshop, EWSPT '96, Nancy, France, October 9 - 11, 1996. Proceedings / Edition 1, Author: Carlo Montangero
Title: Building Tightly Integrated Software Development Environments: The IPSEN Approach / Edition 1, Author: Manfred Nagl
Title: TAPSOFT'97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, Author: Michel Bidoit
Title: Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings / Edition 1, Author: Ed Brinksma
Title: A Theory and Practice of Program Development, Author: Derek J. Andrews
Title: Experiences in Software Evolution and Reuse: Twelve Real World Projects, Author: Svein Hallsteinsen
Title: Essential Delphi 3 fast: Includes ActiveX Development, Author: John Cowell
Title: Reliable Object-Oriented Software: Applying Analysis and Design, Author: Ed Seidewitz
Title: Developing User Interfaces / Edition 1, Author: Dan R. Olsen
Title: AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis / Edition 1, Author: William J. Brown
Title: Proof in VDM: Case Studies, Author: Juan C. Bicarregui

Pagination Links