981- 1000 of 2791 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for the…
by Marco Bernardo, Rocco De Nicola, Jane Hillston
#9700 in Series
Paperback $54.99
Title: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for the…
by Marco Bernardo (Editor), Rocco De Nicola (Editor), Jane Hillston (Editor)
#9700 in Series
eBook $54.99
Title: Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, Author: Emil Sekerinski
QUICK ADD
Formal Methods. FM 2019…
by Emil Sekerinski (Editor), Nelma Moreira (Editor), José N. Oliveira (Editor), Daniel Ratiu (Editor), Riccardo Guidotti (Editor)
#12232 in Series
eBook $54.99
Title: Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, Author: Emil Sekerinski
QUICK ADD
Formal Methods. FM 2019…
by Emil Sekerinski (Editor), Nelma Moreira (Editor), José N. Oliveira (Editor), Daniel Ratiu (Editor), Riccardo Guidotti (Editor)
#12232 in Series
Paperback $54.99
Title: Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, Author: Marieke Huisman
QUICK ADD
Formal Methods: 24th…
by Marieke Huisman (Editor), Corina Pasareanu (Editor), Naijun Zhan (Editor)
#13047 in Series
Paperback $119.99
Title: Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, Author: Marieke Huisman
QUICK ADD
Formal Methods: 24th…
by Marieke Huisman (Editor), Corina Pasareanu (Editor), Naijun Zhan (Editor)
#13047 in Series
eBook $109.00
Title: Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, Author: Marsha Chechik
QUICK ADD
Formal Methods: 25th…
by Marsha Chechik (Editor), Joost-Pieter Katoen (Editor), Martin Leucker (Editor)
#14000 in Series
eBook $99.00
Title: Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26 / Edition 1, Author: Lubos Brim
QUICK ADD
Formal Methods: Applications…
by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
#4346 in Series
Paperback $54.99
Title: Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, Author: Leila Ribeiro
QUICK ADD
Formal Methods: Foundations…
by Leila Ribeiro, Thierry Lecomte
#10090 in Series
Paperback $54.99
Title: Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, Author: Leila Ribeiro
QUICK ADD
Formal Methods: Foundations…
by Leila Ribeiro (Editor), Thierry Lecomte (Editor)
#10090 in Series
eBook $54.99
Title: Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, Author: Tiago Massoni
QUICK ADD
Formal Methods: Foundations…
by Tiago Massoni, Mohammad Reza Mousavi
#11254 in Series
Paperback $64.99
Title: Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, Author: Tiago Massoni
QUICK ADD
Formal Methods: Foundations…
by Tiago Massoni (Editor), Mohammad Reza Mousavi (Editor)
#11254 in Series
eBook $64.99
Title: Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, Author: Gustavo Carvalho
QUICK ADD
Formal Methods: Foundations…
by Gustavo Carvalho (Editor), Volker Stolz (Editor)
#12475 in Series
Paperback $69.99
Title: Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, Author: Gustavo Carvalho
QUICK ADD
Formal Methods: Foundations…
by Gustavo Carvalho (Editor), Volker Stolz (Editor)
#12475 in Series
eBook $69.99
Title: Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings, Author: Sérgio Campos
QUICK ADD
Formal Methods: Foundations…
by Sérgio Campos (Editor), Marius Minea (Editor)
#13130 in Series
eBook $59.99
Title: Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings, Author: Sérgio Campos
QUICK ADD
Formal Methods: Foundations…
by Sérgio Campos (Editor), Marius Minea (Editor)
#13130 in Series
Paperback $59.99
Title: Formal Specification and Design, Author: L. M. G. Feijs
QUICK ADD
Formal Specification and…
by L. M. G. Feijs, H. B. M. Jonkers
#35 in Series
Paperback $61.99
Title: Formal Specification Techniques for Engineering Modular C Programs / Edition 1, Author: Tan Yang Meng
QUICK ADD
Formal Specification…
by Tan Yang Meng
#1 in Series
Hardcover $169.99
Title: Formal Specification: Techniques and Applications / Edition 1, Author: Nimal Nissanke
QUICK ADD
Formal Specification:…
by Nimal Nissanke
Paperback $54.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June, Author: Christel Baier
QUICK ADD
Formal Techniques for…
by Christel Baier, Luïs Caires
#10854 in Series
Paperback $54.99

Pagination Links