1- 20 of 194 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 $63.99
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: 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: TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91), Author: S. Abramsky
QUICK ADD
TAPSOFT '91: Proceedings of…
by S. Abramsky (Editor), T.S.E. Maibaum (Editor)
#493 in Series
Paperback $54.99
Title: Algebraic Methods II: Theory, Tools and Applications, Author: Jan A. Bergstra
QUICK ADD
Algebraic Methods II: Theory,…
by Jan A. Bergstra (Editor), Loe M.G. Feijs (Editor)
#490 in Series
Paperback $54.99
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: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 1: Conference Contributions, Author: Soren Prehn
QUICK ADD
VDM '91. Formal Software…
by Soren Prehn (Editor), Hans Toetenel (Editor)
#551 in Series
Paperback $109.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: 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 / Edition 1, Author: Shojiro Nishio
QUICK ADD
Object Technologies for…
by Shojiro Nishio, Akinori Yonezawa
#742 in Series
Paperback $54.99
Title: Notations for Software Design, Author: Loe M.G. Feijs
QUICK ADD
Notations for Software Design
by Loe M.G. Feijs, Hans B.M. Jonkers, Cornelis A. Middelburg
Explore 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: Software Process Technology: 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3 - 5, 1995. Proceedings, Author: Wilhelm Schïfer
QUICK ADD
Software Process Technology:…
by Wilhelm Schïfer (Editor)
#913 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: 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 / 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

Pagination Links