1- 20 of 114 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: A Practical Handbook for Software Development, Author: N. D. Birrell
QUICK ADD
A Practical Handbook for…
by N. D. Birrell, M. A. Ould
Paperback $68.00
Title: VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings, Author: Robin E. Bloomfield
QUICK ADD
VDM '88. VDM - The Way Ahead:…
by Robin E. Bloomfield (Editor), Roger B. Jones (Editor), Lynn S. Marshall (Editor)
#328 in Series
Paperback $54.99
Title: Children Designers: Interdisciplinary Constructions for Learning and Knowing Mathematics in a Computer-Rich School, Author: Idit Harel
QUICK ADD
Children Designers:…
by Idit Harel
Explore Series
Paperback $55.00
Title: Software Development Environments and Case Technology: European Symposium, K�nigswinter, June 17-19, 1991. Proceedings, Author: Albert Endres
QUICK ADD
Software Development…
by Albert Endres (Editor), Herbert Weber (Editor)
#509 in Series
Paperback $54.99
Title: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 2: Tutorials, Author: Soren Prehn
QUICK ADD
VDM '91. Formal Software…
by Soren Prehn (Editor), Hans Toetenel (Editor)
#552 in Series
Paperback $54.99
Title: TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings, Author: Marie-Claude Gaudel
QUICK ADD
TAPSOFT '93: Theory and…
by Marie-Claude Gaudel (Editor), Jean-Pierre Jouannaud (Editor)
#668 in Series
Paperback $109.99
Title: FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings, Author: James C.P. Woodcock
QUICK ADD
FME '93: Industrial-Strength…
by James C.P. Woodcock (Editor), Peter G. Larsen (Editor)
#670 in Series
Paperback $109.99
Title: Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System, Author: Berthold Hoffmann
QUICK ADD
Program Development by…
by Berthold Hoffmann (Editor), Bernd Krieg-Brïckner (Editor)
#680 in Series
Paperback $109.99
Title: Object Technologies for Advanced Software: First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings, Author: Shojiro Nishio
QUICK ADD
Object Technologies for…
by Shojiro Nishio (Editor), Akinori Yonezawa (Editor)
#742 in Series
Paperback $54.99
Title: KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report, Author: Manfred Broy
QUICK ADD
KORSO: Methods, Languages, and…
by Manfred Broy (Editor), Stefan Jïhnichen (Editor)
#1009 in Series
Paperback $54.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, Author: Ed Brinksma
QUICK ADD
Tools and Algorithms for the…
by Ed Brinksma (Editor), W. Rance Cleaveland (Editor), Kim G. Larsen (Editor), Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#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., Author: Marie-Claude Gaudel
QUICK ADD
FME '96: Industrial Benefit…
by Marie-Claude Gaudel (Editor), James Woodcock (Editor)
#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., Author: Tiziana Margaria
QUICK ADD
Tools and Algorithms for the…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#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, Author: Kokichi Futatsugi
QUICK ADD
Object-Technologies for…
by Kokichi Futatsugi (Editor), Satoshi Matsuoka (Editor)
#1049 in Series
Paperback $54.99
Title: The B Language and Method: A Guide to Practical Formal Development, Author: Kevin Lano
QUICK ADD
The B Language and Method: A…
by Kevin Lano
Explore Series
Paperback $54.99
Title: Large-Scale C++ Software Design / Edition 1, Author: John Lakos
QUICK ADD
Large-Scale C++ Software…
by John Lakos
Explore Series
Paperback $99.74
Title: Essential Delphi 2.0 Fast: How to Develop Applications in Delphi 2.0, 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, Author: Carlo Montangero
QUICK ADD
Software Process Technology:…
by Carlo Montangero (Editor)
#1149 in Series
Paperback $54.99
Title: Building Tightly Integrated Software Development Environments: The IPSEN Approach, Author: Manfred Nagl
QUICK ADD
Building Tightly Integrated…
by Manfred Nagl (Editor)
#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, Author: Ed Brinksma
QUICK ADD
Tools and Algorithms for the…
by Ed Brinksma (Editor)
#1217 in Series
Paperback $54.99

Pagination Links