1- 20 of 192 results
Grid View Grid
List View List
Grid View Grid
List View List
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: 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: Docker Cookbook: Solutions and Examples for Building Distributed Applications, Author: Sy bastien Goasguen
QUICK ADD
Docker Cookbook: Solutions and…
by Sy bastien Goasguen
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: 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: 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: 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: System Development: A Strategic Framework, Author: Michael Bronzite
QUICK ADD
System Development: A…
by Michael Bronzite
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 Design - Cognitive Aspect, Author: Francoise Detienne
QUICK ADD
Software Design - Cognitive…
by Francoise Detienne, F. Bott (Translator)
Explore 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: 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: Practical Eclipse Rich Client Platform Projects, Author: Vladimir Silva
QUICK ADD
Practical Eclipse Rich Client…
by Vladimir Silva
Explore 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: 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: Software Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings, Author: Ita Richardson
QUICK ADD
Software Process Improvement:…
by Ita Richardson (Editor), Pekka Abrahamsson (Editor), Richard Messnarz (Editor)
#3792 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: Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings, Author: Thomas A. Henzinger
QUICK ADD
Embedded Software: First…
by Thomas A. Henzinger (Editor), Christoph M. Kirsch (Editor)
#2211 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: 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

Pagination Links