101- 120 of 470 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Modular Specification and Verification of Object-Oriented Programs, Author: Peter Müller
QUICK ADD
Modular Specification and…
by Peter Müller
#2262 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: .Net Framework Programmer's Reference, Author: Dan Rahmel
QUICK ADD
.Net Framework Programmer's…
by Dan Rahmel (Conducted by)
Explore Series
Paperback $25.00
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: Software Development on a Leash, Author: David Birmingham
QUICK ADD
Software Development on a…
by David Birmingham, Valerie Haynes Perry
Explore Series
Paperback $39.95
Title: Requirements by Collaboration: Workshops for Defining Needs, Author: Ellen Gottesdiener
QUICK ADD
Requirements by Collaboration:…
by Ellen Gottesdiener
eBook $52.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: FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings, Author: Lars-Henrik Eriksson
QUICK ADD
FME 2002: Formal Methods -…
by Lars-Henrik Eriksson (Editor), Peter A. Lindsay (Editor)
#2391 in Series
Paperback $109.99
Title: Software Product Lines: Second International Conference, SPLC 2, San Diego, CA, USA, August 19-22, 2002. Proceedings, Author: Gary J. Chastek
QUICK ADD
Software Product Lines: Second…
by Gary J. Chastek (Editor)
#2379 in Series
Paperback $54.99
Title: Usability: Gaining a Competitive Edge, Author: Judy Hammond
QUICK ADD
Usability: Gaining a…
by Judy Hammond (Editor), Tom Gross (Editor), Janet Wesson (Editor)
#99 in Series
Hardcover $109.99
Title: UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools: 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings, Author: Jean-Marc Jezequel
QUICK ADD
UML 2002 - The Unified…
by Jean-Marc Jezequel (Editor), Heinrich Hussman (Editor), Stephen Cook (Editor)
#2460 in Series
Paperback $54.99
Title: Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings, Author: Alberto Sangiovanni-Vincentelli
QUICK ADD
Embedded Software: Second…
by Alberto Sangiovanni-Vincentelli (Editor), Joseph Sifakis (Editor)
#2491 in Series
Paperback $54.99
Title: Domain Oriented Systems Development:: Practices and Perspectives, Author: Kiyoshi Itoh
QUICK ADD
Domain Oriented Systems…
by Kiyoshi Itoh (Editor), Toyohiko Hirota (Editor), Satoshi Kumagai (Editor)
#6 in Series
Hardcover $240.00
Title: Test Driven Development: By Example, Author: Kent Beck
QUICK ADD
Test Driven Development: By…
by Kent Beck
Explore Series
Paperback $66.49
Title: Developer's Digital Media Reference: New Tools, New Methods, Author: Curtis Poole
QUICK ADD
Developer's Digital Media…
by Curtis Poole, Janette Bradley
Paperback $96.99
Title: Models, Algebras and Logic of Engineering Software, Author: Manfred Broy
QUICK ADD
Models, Algebras and Logic of…
by Manfred Broy (Editor), M. Pizka (Editor)
Explore Series
Hardcover $168.00
Title: Designing Embedded Communications Software, Author: T. Sridhar
QUICK ADD
Designing Embedded…
by T. Sridhar
Explore Series
Paperback $77.99
Title: Computer-Supported Collaboration: With Applications to Software Development, Author: Fadi P. Deek
QUICK ADD
Computer-Supported…
by Fadi P. Deek, James A. M. McHugh
#723 in Series
Hardcover $109.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: Abstract State Machines: A Method for High-Level System Design and Analysis, Author: Egon Börger
QUICK ADD
Abstract State Machines: A…
by Egon Börger, Robert Stärk
Hardcover $54.99

Pagination Links