981- 1000 of 2870 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, Author: Jim Davies
QUICK ADD
Formal Methods and Software…
by Jim Davies (Editor), Wolfram Schulte (Editor), Mike Barnett (Editor)
#3308 in Series
Paperback $109.99
Title: Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, Author: Kung-Kiu Lau
QUICK ADD
Formal Methods and Software…
by Kung-Kiu Lau (Editor), Richard Banach (Editor)
#3785 in Series
Paperback $54.99
Title: Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, Author: Zhiming Liu
QUICK ADD
Formal Methods and Software…
by Zhiming Liu (Editor), Jifeng He (Editor)
#4260 in Series
Paperback $109.99
Title: Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings, Author: Michael Butler
QUICK ADD
Formal Methods and Software…
by Michael Butler (Editor), Michael G. Hinchey (Editor), Maria M. Larrondo-Petrie (Editor)
#4789 in Series
Paperback $54.99
Title: Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers, Author: Bernhard K. Aichernig
QUICK ADD
Formal Methods at the…
by Bernhard K. Aichernig (Editor), Tom Maibaum (Editor)
#2757 in Series
Paperback $54.99
Title: Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures, Author: Antonio Cerone
QUICK ADD
Formal Methods for an Informal…
by Antonio Cerone (Editor)
#13490 in Series
Paperback $59.99
Title: Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers, Author: Bernhard Beckert
QUICK ADD
Formal Methods for Components…
by Bernhard Beckert (Editor), Ferruccio Damiani (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor)
#7542 in Series
Paperback $54.99
Title: Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures, Author: Frank S. de Boer
QUICK ADD
Formal Methods for Components…
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
#4111 in Series
Paperback $54.99
Title: Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures, Author: Frank S. de Boer
QUICK ADD
Formal Methods for Components…
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
#4709 in Series
Paperback $54.99
Title: Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, Author: Marcello M. Bonsangue
QUICK ADD
Formal Methods for Components…
by Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
#5382 in Series
Paperback $54.99
Title: Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey, Author: Marcello M. Bonsangue
QUICK ADD
Formal Methods for Components…
by Marcello M. Bonsangue (Editor), Eric Madelaine (Editor)
#5751 in Series
Paperback $54.99
Title: Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, Author: Frank S.de Boer
QUICK ADD
Formal Methods for Components…
by Frank S.de Boer (Editor), Marcello Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
#2852 in Series
Paperback $54.99
Title: Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures, Author: Frank S. de Boer
QUICK ADD
Formal Methods for Components…
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
#3188 in Series
Paperback $54.99
Title: Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures, Author: Frank S. de Boer
QUICK ADD
Formal Methods for Components…
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
#3657 in Series
Paperback $54.99
Title: Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, Author: Howard Bowman
QUICK ADD
Formal Methods for Distributed…
by Howard Bowman (Editor), John Derrick (Editor)
Paperback $62.99
Title: Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for Executable…
by Marco Bernardo (Editor), Ferruccio Damiani (Editor), Reiner Haehnle (Editor), Einar Broch Johnsen (Editor), Ina Schaefer (Editor)
#8483 in Series
Paperback $54.99
Title: Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, Author: Stefan Leue
QUICK ADD
Formal Methods for Industrial…
by Stefan Leue (Editor), Pedro Merino (Editor)
#4916 in Series
Paperback $54.99
Title: Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, Author: María Alpuente
QUICK ADD
Formal Methods for Industrial…
by María Alpuente (Editor), Byron Cook (Editor), Christophe Joubert (Editor)
#5825 in Series
Paperback $54.99
Title: Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings, Author: Gwen Salaün
QUICK ADD
Formal Methods for Industrial…
by Gwen Salaün (Editor), Bernhard Schätz (Editor)
#6959 in Series
Paperback $54.99
Title: Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for…
by Marco Bernardo (Editor), Vittorio Cortellessa (Editor), Alfonso Pierantonio (Editor)
#7320 in Series
Paperback $54.99

Pagination Links