Integrated Formal Methods (5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol

Integrated Formal Methods (5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol

£45.59

Formal Methods for Components and Objects (5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Formal Methods for Components and Objects (5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

£45.01

Logics in Artificial Intelligence (European Workshop, JELIA 2000 Malaga, Spain, September 29-October 2, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis Moniz Pereira

Logics in Artificial Intelligence (European Workshop, JELIA 2000 Malaga, Spain, September 29-October 2, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis Moniz Pereira

£45.02

Software Composition (4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Thomas Gschwind, Uwe Assmann, Oscar M. Nierstrasz

Software Composition (4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Thomas Gschwind, Uwe Assmann, Oscar M. Nierstrasz

£45.17

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers (Lecture Notes in Computer Science))

By Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers (Lecture Notes in Computer Science))

By Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet

£45.03

Seize Problèmes d'Informatique [French] (Avec Corrigés Détaillés Et Programmes En Caml)

By Petazzoni, Bruno

Seize Problèmes d'Informatique [French] (Avec Corrigés Détaillés Et Programmes En Caml)

By Petazzoni, Bruno

£25.26

Theory and Practice of Model Transformations (Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Richard F. Paige

Theory and Practice of Model Transformations (Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Richard F. Paige

£49.24

Model Driven Engineering Languages and Systems (12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Andy Schurr, Bran V. Selic

Model Driven Engineering Languages and Systems (12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Andy Schurr, Bran V. Selic

£89.16

Models in Software Engineering (Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Sudipto Ghosh

Models in Software Engineering (Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Sudipto Ghosh

£50.34

Formal Methods for Components and Objects (8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel

Formal Methods for Components and Objects (8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel

Currently
Unavailable

Satellite Events at the Models 2005 Conference (MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Pro)

By Jean-Michel Bruel

Satellite Events at the Models 2005 Conference (MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Pro)

By Jean-Michel Bruel

Currently
Unavailable

View:
Safe Search(?):