Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport
ISBN 13: 9780321143068
Format: Paperback (384 pages) Publisher: Addison Wesley Published: 19 Jul 2002
Save for later
Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering
by Frank J. van der Linden,Klaus Schmid,Eelco Rommes
ISBN 13: 9783540714361
Format: Hardcover (333 pages) Publisher: Springer Published: 08 Jun 2007
Object-Oriented Technology. ECOOP 2007 Workshop Reader: ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports (Lecture Notes in ... / Programming and Software Engineering)
by
ISBN 13: 9783540781943
Format: Paperback (204 pages) Publisher: Springer Published: 26 Feb 2008
Rationale Management in Software Engineering
ISBN 13: 9783540309970
Format: Hardcover (432 pages) Publisher: Springer Published: 05 Apr 2006
Autonomic and Trusted Computing: 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540735465
Format: Paperback (571 pages) Publisher: Springer Published: 02 Jul 2007
Architecting Dependable Systems IV: No. 4 (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540740339
Format: Paperback (435 pages) Publisher: Springer Published: 15 Aug 2007
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540746089
Format: Paperback (470 pages) Publisher: Springer Published: 28 Aug 2007
Software Architectures, Components, and Applications: Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, ... / Programming and Software Engineering)
ISBN 13: 9783540776178
Format: Paperback (251 pages) Publisher: Springer Published: 23 Jan 2008
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)
ISBN 13: 9783540799795
Format: Paperback (432 pages) Publisher: Springer Published: 15 Jul 2008
Fundamental Approaches to Software Engineering: 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues)
ISBN 13: 9783540330936
Format: Paperback (440 pages) Publisher: Springer Published: 16 Mar 2006
Empirical Software Engineering Issues. Critical Assessment and Future Directions: International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, ... / Programming and Software Engineering)
ISBN 13: 9783540713005
Format: Paperback (193 pages) Publisher: Springer Published: 30 Mar 2007
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 14th European PVM/MPI User's Group Meeting, Paris France, September 30 - ... / Programming and Software Engineering)
ISBN 13: 9783540754152
Format: Paperback (396 pages) Publisher: Springer Published: 18 Sep 2007