41- 60 of 235 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers / Edition 1, Author: Francesco Parisi-Presicce
QUICK ADD
Recent Trends in Algebraic…
by Francesco Parisi-Presicce
#1376 in Series
Paperback $54.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: Software Engineering Research and Applications: First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers / Edition 1, Author: C.V. Ramamoorthy
QUICK ADD
Software Engineering Research…
by C.V. Ramamoorthy, Roger Y. Lee, Kyung Whan Lee
#3026 in Series
Paperback $54.99
Title: Self-Sustaining Systems: First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings / Edition 1, Author: Robert Hirschfeld
QUICK ADD
Self-Sustaining Systems: First…
by Robert Hirschfeld, Kim Rose
#5146 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
Title: Software Architectures for Product Families: International Workshop IW-SAPF-3. Las Palmas de Gran Canaria, Spain, March 15-17, 2000 Proceedings / Edition 1, Author: Frank van der Linden
QUICK ADD
Software Architectures for…
by Frank van der Linden
#1951 in Series
Paperback $54.99
Title: Formal Engineering for Industrial Software Development: Using the SOFL Method / Edition 1, Author: Shaoying Liu
QUICK ADD
Formal Engineering for…
by Shaoying Liu
Hardcover $54.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: 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: Foundations of AOP for J2EE Development / Edition 1, Author: Lionel Seinturier
QUICK ADD
Foundations of AOP for J2EE…
by Lionel Seinturier, Renaud Pawlak
Explore Series
Hardcover $54.99
Title: Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings / Edition 1, Author: Ivica Crnkovic
QUICK ADD
Component-Based Software…
by Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt Wallnau
#3054 in Series
Paperback $54.99
Title: Software Process Technology: 8th European Workshop, EWSPT 2001 Witten, Germany, June 19-21, 2001 Proceedings / Edition 1, Author: Vincenzo Ambriola
QUICK ADD
Software Process Technology:…
by Vincenzo Ambriola
#2077 in Series
Paperback $54.99
Title: Software Process Change: International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings / Edition 1, Author: Qing Wang
QUICK ADD
Software Process Change:…
by Qing Wang, Dietmar Pfahl, David M. Raffo, Paul Wernick
#3966 in Series
Paperback $54.99
Title: Making Globally Distributed Software Development a Success Story: International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008, Proceedings / Edition 1, Author: Qing Wang
QUICK ADD
Making Globally Distributed…
by Qing Wang, Dietmar Pfahl, David Raffo
#5007 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: Iterating Infusion: Clearer Views of Objects, Classes, and Systems / Edition 1, Author: Greg Anthony
QUICK ADD
Iterating Infusion: Clearer…
by Greg Anthony
Hardcover $54.99
Title: Categories for Software Engineering / Edition 1, Author: Jose Luiz Fiadeiro
QUICK ADD
Categories for Software…
by Jose Luiz Fiadeiro
Hardcover $54.99
Title: Categories for Software Engineering / Edition 1, Author: Jose Luiz Fiadeiro
QUICK ADD
Categories for Software…
by Jose Luiz Fiadeiro
Paperback $54.99
Title: Software Product-Family Engineering: 4th International Workshop, PFE 2001 Bilbao, Spain, October 3-5, 2001 Revised Papers / Edition 1, Author: Frank van der Linden
QUICK ADD
Software Product-Family…
by Frank van der Linden
#2290 in Series
Paperback $54.99
Title: Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / Edition 1, Author: Fabrice Kordon
QUICK ADD
Reliable Systems on Unreliable…
by Fabrice Kordon, Janos Sztipanovits
#4322 in Series
Paperback $54.99

Pagination Links