81- 100 of 226 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Software Process: Principles, Methodology, and Technology, Author: Jean-Claude Derniame
QUICK ADD
Software Process: Principles,…
by Jean-Claude Derniame (Editor), Badara A. Kaba (Editor), David Wastell (Editor)
#1500 in Series
Paperback $54.99
Title: Software Process Dynamics and Agility: International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings, Author: Qing Wang
QUICK ADD
Software Process Dynamics and…
by Qing Wang (Editor), Dietmar Pfahl (Editor), David M. Raffo (Editor)
#4470 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: 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: 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: Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers, Author: Fabrice Kordon
QUICK ADD
Reliable Systems on Unreliable…
by Fabrice Kordon (Editor), Janos Sztipanovits (Editor)
#4322 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: Universal Access in Health Telematics: A Design Code of Practice, Author: Constantine Stephanidis
QUICK ADD
Universal Access in Health…
by Constantine Stephanidis (Editor)
#3041 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: Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs: 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers, Author: Barbara Paech
QUICK ADD
Innovations for Requirement…
by Barbara Paech (Editor), Craig Martell (Editor)
#5320 in 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: FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, Author: Jorge Cuellar
QUICK ADD
FM 2008: Formal Methods: 15th…
by Jorge Cuellar (Editor), Tom Maibaum (Editor)
#5014 in Series
Paperback $54.99
Title: Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers, Author: Maura Cerioli
QUICK ADD
Recent Trends in Algebraic…
by Maura Cerioli (Editor), Gianna Reggio (Editor)
#2267 in Series
Paperback $54.99
Title: Categories for Software Engineering, Author: Jose Luiz Fiadeiro
QUICK ADD
Categories for Software…
by Jose Luiz Fiadeiro
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, Author: C.V. Ramamoorthy
QUICK ADD
Software Engineering Research…
by C.V. Ramamoorthy (Editor), Roger Y. Lee (Editor), Kyung Whan Lee (Editor)
#3026 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: FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, Author: John Fitzgerald
QUICK ADD
FM 2005: Formal Methods:…
by John Fitzgerald (Editor), Ian J. Hayes (Editor)
#3582 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: 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: Larch: Languages and Tools for Formal Specification, Author: John V. Guttag
QUICK ADD
Larch: Languages and Tools for…
by John V. Guttag, S.J. Garland (With), K.D. Jones (With), James J. Horning, A. Modet (With)
Explore Series
Paperback $54.99

Pagination Links