41- 60 of 189 results
Grid View Grid
List View List
Grid View Grid
List View List
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 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: 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: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, Author: Hubert Garavel
QUICK ADD
Tools and Algorithms for the…
by Hubert Garavel (Editor), John Hatcliff (Editor)
#2619 in Series
Paperback $109.99
Title: Software Synthesis from Dataflow Graphs, Author: Shuvra S. Bhattacharyya
QUICK ADD
Software Synthesis from…
by Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee
#360 in Series
Paperback $109.99
Title: The Unified Process Inception Phase: Best Practices in Implementing the UP, Author: Scott W. Ambler
QUICK ADD
The Unified Process Inception…
by Scott W. Ambler
Paperback $62.99
Title: Process Improvement in Practice: A Handbook for IT Companies, Author: Tore Dybï
QUICK ADD
Process Improvement in…
by Tore Dybï, Torgeir Dingsïyr, Nils Brede Moe
#9 in Series
Paperback $54.99
Title: The Unified Process Construction Phase: Best Practices in Implementing the UP, Author: Scott Ambler
QUICK ADD
The Unified Process…
by Scott Ambler
Explore Series
Paperback $62.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: 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: A Theory and Practice of Program Development, Author: Derek J. Andrews
QUICK ADD
A Theory and Practice of…
by Derek J. Andrews
Explore Series
Paperback $54.99
Title: Product Focused Software Process Improvement: 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004, Proceedings, Author: Frank Bomarius
QUICK ADD
Product Focused Software…
by Frank Bomarius (Editor), Hajimu Iida (Editor)
#3009 in Series
Paperback $54.99
Title: Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers, Author: Jose L. Fiadeiro
QUICK ADD
Recent Trends in Algebraic…
by Jose L. Fiadeiro (Editor)
#1589 in Series
Paperback $54.99
Title: Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, Author: José Luiz Fiadeiro
QUICK ADD
Recent Trends in Algebraic…
by José Luiz Fiadeiro (Editor), Peter Mosses (Editor), Fernando Orejas (Editor)
#3423 in Series
Paperback $54.99
Title: UML'99 - The Unified Modeling Language: Beyond the Standard: Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings, Author: Robert B. France
QUICK ADD
UML'99 - The Unified Modeling…
by Robert B. France (Editor), Bernhard Rumpe (Editor)
#1723 in Series
Paperback $109.99
Title: UML 2004 - The Unified Modeling Language: Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings, Author: Thomas Baar
QUICK ADD
UML 2004 - The Unified…
by Thomas Baar (Editor), Alfred Strohmeier (Editor), Ana Moreira (Editor)
#3273 in Series
Paperback $54.99
Title: FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, Author: Jayadev Misra
QUICK ADD
FM 2006: Formal Methods: 14th…
by Jayadev Misra (Editor), Tobias Nipkow (Editor), Emil Sekerinski (Editor)
#4085 in Series
Paperback $109.99
Title: Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedin, Author: W. Rance Cleaveland
QUICK ADD
Tools and Algorithms for the…
by W. Rance Cleaveland (Editor)
#1579 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: Using Toolpack Software Tools: Proceedings of the Ispra-Course held at the Joint Research Centre, Ispra, Italy, 17-21 November 1986, Author: A.A. Pollicini
QUICK ADD
Using Toolpack Software Tools:…
by A.A. Pollicini (Editor)
Explore Series
Paperback $54.99

Pagination Links