21- 40 of 238 results
Grid View Grid
List View List
Grid View Grid
List View List
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: 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
Paperback $109.99
Title: The Unified Modeling Language: Technical Aspects and Applications, Author: Martin Schader
QUICK ADD
The Unified Modeling Language:…
by Martin Schader (Editor), Axel Korthaus (Editor)
Paperback $109.99
Title: FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, Author: Jose N. Oliveira
QUICK ADD
FME 2001: Formal Methods for…
by Jose N. Oliveira (Editor), Pamela Zave (Editor)
#2021 in Series
Paperback $109.99
Title: TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings, Author: Marie-Claude Gaudel
QUICK ADD
TAPSOFT '93: Theory and…
by Marie-Claude Gaudel (Editor), Jean-Pierre Jouannaud (Editor)
#668 in Series
Paperback $109.99
Title: FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings, Author: Keijiro Araki
QUICK ADD
FME 2003: Formal Methods:…
by Keijiro Araki (Editor), Stefania Gnesi (Editor), Dion Mandrioli (Editor)
#2805 in Series
Paperback $109.99
Title: Building Tightly Integrated Software Development Environments: The IPSEN Approach, Author: Manfred Nagl
QUICK ADD
Building Tightly Integrated…
by Manfred Nagl (Editor)
#1170 in Series
Paperback $109.99
Title: Mathematical Methods in Program Development, Author: Manfred Broy
QUICK ADD
Mathematical Methods in…
by Manfred Broy (Editor), Birgit Schieder (Editor)
#158 in Series
Paperback $109.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee, Author: Kurt Jensen
QUICK ADD
Tools and Algorithms for the…
by Kurt Jensen (Editor), Andreas Podelski (Editor)
#2988 in Series
Paperback $109.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: Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings, Author: Susanne Graf
QUICK ADD
Tools and Algorithms for the…
by Susanne Graf (Editor), Michael Schwartzbach (Editor)
#1785 in Series
Paperback $109.99
Title: FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings., Author: Marie-Claude Gaudel
QUICK ADD
FME '96: Industrial Benefit…
by Marie-Claude Gaudel (Editor), James Woodcock (Editor)
#1051 in Series
Paperback $109.99
Title: Future Interaction Design II, Author: Pertti Saariluoma
QUICK ADD
Future Interaction Design II
by Pertti Saariluoma (Editor), Hannakaisa Isomïki (Editor)
Paperback $109.99
Title: Open Source Development, Adoption and Innovation: IFIP Working Group 2.13 on Open Source Software, June 11-14, 2007, Limerick, Ireland, Author: Joseph Feller
QUICK ADD
Open Source Development,…
by Joseph Feller (Editor), Brian Fitzgerald (Editor), Walt Scacchi (Editor), Alberto Sillitti (Editor)
#234 in Series
Paperback $109.99
Title: TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings, Author: Peter D. Mosses
QUICK ADD
TAPSOFT '95: Theory and…
by Peter D. Mosses (Editor), Mogens Nielsen (Editor), Michael I. Schwartzbach (Editor)
#915 in Series
Paperback $109.99
Title: Proof in VDM: Case Studies, Author: Juan C. Bicarregui
QUICK ADD
Proof in VDM: Case Studies
by Juan C. Bicarregui (Editor)
Explore Series
Paperback $109.99
Title: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 1: Conference Contributions, Author: Soren Prehn
QUICK ADD
VDM '91. Formal Software…
by Soren Prehn (Editor), Hans Toetenel (Editor)
#551 in Series
Paperback $109.99
Title: Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System, Author: Berthold Hoffmann
QUICK ADD
Program Development by…
by Berthold Hoffmann (Editor), Bernd Krieg-Brückner (Editor)
#680 in Series
Paperback $109.99
Title: Software Product-Family Engineering: 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers, Author: Frank van der Linden
QUICK ADD
Software Product-Family…
by Frank van der Linden (Editor)
#3014 in Series
Paperback $109.99
Title: Essential Delphi 3 fast: Includes ActiveX Development, Author: John Cowell
QUICK ADD
Essential Delphi 3 fast:…
by John Cowell
Explore Series
Paperback $109.99

Pagination Links