1- 20 of 235 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings / Edition 1, Author: Robin E. Bloomfield
QUICK ADD
VDM '88. VDM - The Way Ahead:…
by Robin E. Bloomfield, Roger B. Jones, Lynn S. Marshall
#328 in Series
Paperback $54.99
Title: Global Software: Developing Applications for the International Market / Edition 1, Author: Dave Taylor
QUICK ADD
Global Software: Developing…
by Dave Taylor
Paperback $109.99
Title: Evolutionary Systems Development / Edition 1, Author: John Crinnion
QUICK ADD
Evolutionary Systems…
by John Crinnion
Explore Series
Hardcover $169.99
Title: FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings / Edition 1, Author: James C.P. Woodcock
QUICK ADD
FME '93: Industrial-Strength…
by James C.P. Woodcock, Peter G. Larsen
#670 in Series
Paperback $109.99
Title: TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings / Edition 1, Author: Marie-Claude Gaudel
QUICK ADD
TAPSOFT '93: Theory and…
by Marie-Claude Gaudel, Jean-Pierre Jouannaud
#668 in Series
Paperback $109.99
Title: Object Technologies for Advanced Software: First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings / Edition 1, Author: Shojiro Nishio
QUICK ADD
Object Technologies for…
by Shojiro Nishio, Akinori Yonezawa
#742 in Series
Paperback $54.99
Title: Software by Design: Shaping Technology and The Workplace, Author: Harold Salzman
QUICK ADD
Software by Design: Shaping…
by Harold Salzman, Stephen R. Rosenthal
Hardcover $130.00
Title: The Field Programming Environment: A Friendly Integrated Environment for Learning and Development / Edition 1, Author: Steven P. Reiss
QUICK ADD
The Field Programming…
by Steven P. Reiss
#298 in Series
Hardcover $169.99
Title: LOTOSphere: Software Development with LOTOS / Edition 1, Author: Tommaso Bolognesi
QUICK ADD
LOTOSphere: Software…
by Tommaso Bolognesi, Jeroen van de Lagemaat, Chris Vissers
Hardcover $169.99
Title: Formal Development of Reactive Systems: Case Study Production Cell / Edition 1, Author: Claus Lewerentz
QUICK ADD
Formal Development of Reactive…
by Claus Lewerentz, Thomas Lindner
#891 in Series
Paperback $54.99
Title: TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings / Edition 1, Author: Peter D. Mosses
QUICK ADD
TAPSOFT '95: Theory and…
by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
#915 in Series
Paperback $109.99
Title: Btrieve Complete: A Guide for Developers and System Administrators / Edition 1, Author: Jim Kyle
QUICK ADD
Btrieve Complete: A Guide for…
by Jim Kyle, James Kyle
Paperback $39.95
Title: C and UNIX: Tools for Software Design / Edition 1, Author: Martin L. Barrett
QUICK ADD
C and UNIX: Tools for Software…
by Martin L. Barrett, Clifford H. Wagner
Paperback $176.75
Title: The Capability Maturity Model: Guidelines for Improving the Software Process / Edition 1, Author: Carnegie Mellon Univ.
QUICK ADD
The Capability Maturity Model:…
by Carnegie Mellon Univ., Software Engineering Inst., Software Engineering Institute Staff
Explore Series
Hardcover $69.99
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
QUICK ADD
Tools and Algorithms for the…
by Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen
#1019 in Series
Paperback $54.99
Title: Beyond Programming: To a New Era of Design, Author: Bruce I. Blum
QUICK ADD
Beyond Programming: To a New…
by Bruce I. Blum
Explore Series
Hardcover $235.00
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
QUICK ADD
FME '96: Industrial Benefit…
by Marie-Claude Gaudel, James Woodcock
#1051 in Series
Paperback $109.99
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
QUICK ADD
Tools and Algorithms for the…
by Tiziana Margaria, Bernhard Steffen
#1055 in Series
Paperback $54.99
Title: Object-Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings / Edition 1, Author: Kokichi Futatsugi
QUICK ADD
Object-Technologies for…
by Kokichi Futatsugi, Satoshi Matsuoka
#1049 in Series
Paperback $54.99
Title: Rapid Application Generation of Business and Finance Software / Edition 1, Author: Sukhdev Khebbal
QUICK ADD
Rapid Application Generation…
by Sukhdev Khebbal, Chris Sharpington
Hardcover $109.99

Pagination Links