1- 20 of 113 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Transactions on Aspect-Oriented Software Development I, Author: Awais Rashid
QUICK ADD
Transactions on…
by Awais Rashid (Editor), Mehmet Aksit (Editor)
#3880 in Series
Paperback $54.99
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: UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools: 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings, Author: Martin Gogolla
QUICK ADD
UML 2001 - The Unified…
by Martin Gogolla (Editor), Cris Kobryn (Editor)
#2185 in Series
Paperback $54.99
Title: Docker Cookbook: Solutions and Examples for Building Distributed Applications, Author: S bastien Goasguen
QUICK ADD
Docker Cookbook: Solutions and…
by S bastien Goasguen
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: 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: Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings, Author: Joost-Pieter Katoen
QUICK ADD
Tools and Algorithms for the…
by Joost-Pieter Katoen (Editor), Perdita Stevens (Editor)
#2280 in Series
Paperback $54.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: Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings, Author: Ian Gorton
QUICK ADD
Component-Based Software…
by Ian Gorton (Editor), George T. Heinemann (Editor), Ivica Crnkovic (Editor), Heinz W. Schmidt (Editor), Judith A. Stafford (Editor)
#4063 in Series
Paperback $54.99
Title: Prototyping-Oriented Software Development: Concepts and Tools, Author: Walter R. Bischofberger
QUICK ADD
Prototyping-Oriented Software…
by Walter R. Bischofberger, Gustav Pomberger
Explore Series
Paperback $54.99
Title: The Synthesizer Generator: A System for Constructing Language-Based Editors, Author: Thomas W. Reps
QUICK ADD
The Synthesizer Generator: A…
by Thomas W. Reps, Tim Teitelbaum
Explore Series
Paperback $54.99
Title: Product-Focused Software Process Improvement: 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings, Author: Jürgen Münch
QUICK ADD
Product-Focused Software…
by Jürgen Münch (Editor), Matias Vierimaa (Editor)
#4034 in Series
Paperback $54.99
Title: Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers, Author: Francesco Parisi-Presicce
QUICK ADD
Recent Trends in Algebraic…
by Francesco Parisi-Presicce (Editor)
#1376 in Series
Paperback $54.99
Title: Constructing Correct Software, Author: D. John Cooke
QUICK ADD
Constructing Correct Software
by D. John Cooke
Explore Series
Paperback $54.99
Title: Component-Based Software Engineering: 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Author: George Heineman
QUICK ADD
Component-Based Software…
by George Heineman (Editor), Ivica Crnkovic (Editor), Heinz W. Schmidt (Editor), Judith A. Stafford (Editor), Clemens Szyperski (Editor)
#3489 in Series
Paperback $54.99
Title: Software Product-Family Engineering: 4th International Workshop, PFE 2001 Bilbao, Spain, October 3-5, 2001 Revised Papers, Author: Frank van der Linden
QUICK ADD
Software Product-Family…
by Frank van der Linden (Editor)
#2290 in Series
Paperback $54.99
Title: UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications: 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings, Author: Perdita Stevens
QUICK ADD
UML 2003 -- The Unified…
by Perdita Stevens (Editor), Jon Whittle (Editor), Grady Booch (Editor)
#2863 in Series
Paperback $54.99
Title: Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings, Author: Ivica Crnkovic
QUICK ADD
Component-Based Software…
by Ivica Crnkovic (Editor), Judith A. Stafford (Editor), Heinz W. Schmidt (Editor), Kurt Wallnau (Editor)
#3054 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

Pagination Links