Premium Members Save 10% Join Now
981- 1000 of 1448 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings, Author: Zhenhua Duan
QUICK ADD
Formal Methods and Software…
by Zhenhua Duan, Luke Ong
#10610 in Series
Paperback $54.99
Title: Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, Author: Kazuhiro Ogata
QUICK ADD
Formal Methods and Software…
by Kazuhiro Ogata, Mark Lawford, Shaoying Liu
#10009 in Series
Paperback $54.99
Title: Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, Author: Michael Butler
QUICK ADD
Formal Methods and Software…
by Michael Butler, Sylvain Conchon, Fatiha Zaïdi
#9407 in Series
Paperback $54.99
Title: Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings / Edition 1, Author: Shaoying Liu
QUICK ADD
Formal Methods and Software…
by Shaoying Liu, Tom Maibaum, Keijiro Araki
#5256 in Series
Paperback $54.99
Title: Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Author: Maurice H. ter Beek
QUICK ADD
Formal Methods - The Next 30…
by Maurice H. ter Beek, Annabelle McIver, Josï N. Oliveira
#11800 in Series
Paperback $54.99
Title: Formal Foundations for Software Engineering Methods / Edition 1, Author: Heinrich Huïmann
QUICK ADD
Formal Foundations for…
by Heinrich Huïmann
#1322 in Series
Paperback $54.99
Title: Formal Engineering for Industrial Software Development: Using the SOFL Method / Edition 1, Author: Shaoying Liu
QUICK ADD
Formal Engineering for…
by Shaoying Liu
Paperback $59.99
Title: Formal Engineering for Industrial Software Development: Using the SOFL Method / Edition 1, Author: Shaoying Liu
QUICK ADD
Formal Engineering for…
by Shaoying Liu
Hardcover $54.99
Title: Formal Development of Reactive Systems: Case Study Production Cell / Edition 1, Author: Claus Lewerentz
QUICK ADD
Formal Development of Reactive…
by Claus Lewerentz, Thomas Lindner
#891 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, Author: Farhad Arbab
QUICK ADD
Formal Aspects of Component…
by Farhad Arbab, Sung-Shik Jongmans
#12018 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, Author: Kyungmin Bae
QUICK ADD
Formal Aspects of Component…
by Kyungmin Bae, Peter Csaba ïlveczky
#11222 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, Author: José Proença
QUICK ADD
Formal Aspects of Component…
by José Proença, Markus Lumpe
#10487 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, Author: Olga Kouchnarenko
QUICK ADD
Formal Aspects of Component…
by Olga Kouchnarenko, Ramtin Khosravi
#10231 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, Author: Christiano Braga
QUICK ADD
Formal Aspects of Component…
by Christiano Braga, Peter Csaba Ölveczky
#9539 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, Author: Ivan Lanese
QUICK ADD
Formal Aspects of Component…
by Ivan Lanese, Eric Madelaine
#8997 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, Author: José Luiz Fiadeiro
QUICK ADD
Formal Aspects of Component…
by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
#8348 in Series
Paperback $54.99
Title: Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / Edition 1, Author: Michael G. Hinchey
QUICK ADD
Formal Approaches to…
by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff
#3228 in Series
Paperback $54.99
Title: Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers / Edition 1, Author: Michael G. Hinchey
QUICK ADD
Formal Approaches to…
by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears
#2699 in Series
Paperback $54.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. / Edition 1, Author: Marie-Claude Gaudel
QUICK ADD
FME '96: Industrial Benefit…
by Marie-Claude Gaudel, James Woodcock
#1051 in Series
Paperback $109.99
Title: FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings / Edition 1, Author: James C.P. Woodcock
QUICK ADD
FME '93: Industrial-Strength…
by James C.P. Woodcock, Peter G. Larsen
#670 in Series
Paperback $109.99

Pagination Links