Browse Results

Showing 22,726 through 22,750 of 60,850 results
Title Author ISBN Copyright Features Action
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science #14000) 5240156 Marsha Chechik Joost-Pieter Katoen Martin Leucker 9783031274817 2023 Contains images
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science #10951) 2118987 Klaus Havelund Jan Peleska Bill Roscoe Erik De Vink 9783319955827 2018 Contains images
Formal Methods: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings (Lecture Notes in Computer Science #13768) 5125797 Lucas Lima Vince Molnár 9783031224768 2022 Contains images
Formal Methods: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Lecture Notes in Computer Science #11254) 2336818 Tiago Massoni Mohammad Reza Mousavi 9783030030445 2018 Contains images
Formal Methods: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings (Lecture Notes in Computer Science #15403) 6309079 Sidney C. Nogueira Ciprian Teodorov 9783031781162 2025 Contains images
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14933) 6212980 André Platzer Kristin Yvonne Rozier Matteo Pradella Matteo Rossi 9783031711626 2025 Contains images
Formal Methods: Foundations and Applications 1532594 Leila Ribeiro Thierry Lecomte 9783319498157 2016 Contains images
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14934) 6174410 Matteo Rossi Kristin Yvonne Rozier Andre Platzer Matteo Pradella 9783031711770 2025 Contains images
Formal Methods: State of the Art and New Directions 1418382 Jawed Siddiqi Paul Boca Jonathan P. Bowen 9781848827363 2010 Contains images
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers (Communications in Computer and Information Science #1301) 3956482 Antonio Cerone Markus Roggenbach 9783030713744 2021 Contains images
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Lecture Notes in Computer Science #11800) 3356697 Maurice H. ter Beek Annabelle McIver José N. Oliveira 9783030309428 2019 Contains images
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings (Lecture Notes in Computer Science #11852) 2975328 Yamine Ait-Ameur Shengchao Qin 9783030324094 2019 Contains images
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings (Lecture Notes in Computer Science #14308) 5784126 Yi Li Sofiène Tahar 9789819975846 2023 Contains images
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings (Lecture Notes in Computer Science #12531) 3868201 Shang-Wei Lin Zhe Hou Brendan Mahoney 9783030634063 2020 Contains images
Formal Methods and Software Engineering 1534030 Shaoying Liu Mark Lawford Kazuhiro Ogata 9783319478463 2016 Contains images
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings (Lecture Notes in Computer Science #15394) 6354408 Kazuhiro Ogata Dominique Mery Meng Sun Shaoying Liu 9789819606177 2024 Contains images
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings (Lecture Notes in Computer Science #11232) 2333354 Jing Sun Meng Sun 9783030024505 2018 Contains images
Formal Methods and Software Engineering 1615198 Fatiha Zaïdi Sylvain Conchon Michael Butler 9783319254234 2015 Contains images
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science #13478) 5159620 Min Zhang Adrian Riesco 9783031172441 2022 Contains images
Formal Methods Applied to Complex Systems: Implementation of the B Method (Wiley-iste Ser.) 3294175 Jean-Louis Boulanger 9781119002925 2014 Contains images
Formal Methods Applied to Industrial Complex Systems: Implementation Of The B Method 3294344 Jean-Louis Boulanger 9781119004776 2014 Contains images
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12233) 3601569 Emil Sekerinski Nelma Moreira José N. Oliveira Daniel Ratiu Riccardo Guidotti Marie Farrell Matt Luckcuck Diego Marmsoler José Campos Troy Astarte Laure Gonnord Antonio Cerone Luis Couto Brijesh Dongol Martin Kutrib Pedro Monteiro David Delmas 9783030549978 2020 Contains images
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12232) 3604008 Emil Sekerinski Nelma Moreira José N. Oliveira Daniel Ratiu Riccardo Guidotti Marie Farrell Matt Luckcuck Diego Marmsoler José Campos Troy Astarte Laure Gonnord Antonio Cerone Luis Couto Brijesh Dongol Martin Kutrib Pedro Monteiro David Delmas 9783030549947 2020 Contains images
Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures (Lecture Notes in Computer Science #13490) 5709662 Antonio Cerone 9783031436789 2023 Contains images
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science #14290) 5934133 Alessandro Cimatti Laura Titolo 9783031436819 2023 Contains images

Refine Search

Showing 22,726 through 22,750 of 60,850 results