B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture ... / Programming and Software Engineering)
by
ISBN 13: 9783540687603
Format: Paperback (306 pages) Publisher: Springer Published: 14 Dec 2006
Save for later
Advances in Conceptual Modeling - Foundations and Applications: ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS, Auckland, New Zealand, ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540762911
Format: Paperback (420 pages) Publisher: Springer Published: 15 Oct 2007
Dependability Metrics: GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures (Lecture Notes in ... / Programming and Software Engineering)
ISBN 13: 9783540689461
Format: Paperback (305 pages) Publisher: Springer Published: 30 May 2008
Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected ... / Programming and Software Engineering)
ISBN 13: 9783540690696
Format: Paperback (322 pages) Publisher: Springer Published: 01 Jul 2008
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues)
ISBN 13: 9783540489283
Format: Paperback (203 pages) Publisher: Springer Published: 03 Nov 2006
Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings ... / Programming and Software Engineering)
ISBN 13: 9783540729006
Format: Paperback (219 pages) Publisher: Springer Published: 31 May 2007
Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers: v. ... / Programming and Software Engineering)
ISBN 13: 9783540340973
Format: Paperback (265 pages) Publisher: Springer Published: 15 May 2006
Distributed Applications and Interoperable Systems: 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings: ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540728818
Format: Paperback (337 pages) Publisher: Springer Published: 25 May 2007
Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... / Programming and Software Engineering)
ISBN 13: 9783540688549
Format: Paperback (341 pages) Publisher: Springer Published: 27 May 2008
Balancing Agility and Formalism in Software Engineering: Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540852780
Format: Paperback (316 pages) Publisher: Springer Published: 13 Aug 2008
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540262787
Format: Paperback (667 pages) Publisher: Springer Published: 27 Jun 2005
Quality of Software Architectures Models and Architectures: 4th International Conference on the Quality of Software Architectures, QoSA 2008, ... / Programming and Software Engineering)
ISBN 13: 9783540878780
Format: Paperback (235 pages) Publisher: Springer Published: 07 Oct 2008