1- 20 of 119 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: 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: 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: 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: 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: 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: The B Language and Method: A Guide to Practical Formal Development / Edition 1, Author: Kevin Lano
QUICK ADD
The B Language and Method: A…
by Kevin Lano
Explore Series
Paperback $54.99
Title: Essential Delphi 2.0 Fast: How to Develop Applications in Delphi 2.0 / Edition 1, Author: John Cowell
QUICK ADD
Essential Delphi 2.0 Fast: How…
by John Cowell
Explore Series
Paperback $109.99
Title: Software Process Technology: 5th European Workshop, EWSPT '96, Nancy, France, October 9 - 11, 1996. Proceedings / Edition 1, Author: Carlo Montangero
QUICK ADD
Software Process Technology:…
by Carlo Montangero
#1149 in Series
Paperback $54.99
Title: Building Tightly Integrated Software Development Environments: The IPSEN Approach / Edition 1, Author: Manfred Nagl
QUICK ADD
Building Tightly Integrated…
by Manfred Nagl
#1170 in Series
Paperback $109.99
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
QUICK ADD
Tools and Algorithms for the…
by Ed Brinksma
#1217 in Series
Paperback $54.99
Title: Reliable Object-Oriented Software: Applying Analysis and Design, Author: Ed Seidewitz
QUICK ADD
Reliable Object-Oriented…
by Ed Seidewitz, Mike Stark
#11 in Series
Paperback $84.99
Title: Developing User Interfaces / Edition 1, Author: Dan R. Olsen
QUICK ADD
Developing User Interfaces /…
by Dan R. Olsen
Explore Series
Paperback $111.00
Title: AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis / Edition 1, Author: William J. Brown
QUICK ADD
AntiPatterns: Refactoring…
by William J. Brown, Raphael C. Malveau, Hays W. "Skip" McCormick, Thomas J. Mowbray
Paperback $68.00

Pagination Links