Browse Results

Showing 22,726 through 22,750 of 62,593 results
Title Author ISBN Copyright Features Action
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 Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science #14939) 6203625 Leila Ribeiro Emil Sekerinski 9783031713798 2024 Contains images
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Lecture Notes in Computer Science #11758) 2964907 Graeme Smith Brijesh Dongol Luigia Petre 9783030324414 2019 Contains images
Formal Methods and Software Engineering 1615198 Michael Butler Sylvain Conchon Fatiha Zaïdi 9783319254234 2015 Contains images
Formal Methods and Software Engineering 1534030 Shaoying Liu Kazuhiro Ogata Mark Lawford 9783319478463 2016 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: 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: 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: 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: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings (Lecture Notes in Computer Science #15394) 6354408 Shaoying Liu Kazuhiro Ogata Dominique Mery Meng Sun 9789819606177 2024 Contains images
Formal Methods for Industrial Critical Systems 850204 Stefania Gnesi Tiziana Margaria 9781118459874 2013 Contains images
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science #11687) 2851463 Kim Guldstrand Larsen Tim Willemse 9783030270087 2019 Contains images
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings (Lecture Notes in Computer Science #12327) 5886196 Maurice H. ter Beek Dejan Ničković 9783030582982 2020 Contains images
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science #12863) 4239500 Alberto Lluch Lafuente Anastasia Mavridou 9783030852481 2021 Contains images
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science #13487) 4856346 Marieke Huisman Jan Friso Groote 9783031150081 2022 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
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings (Lecture Notes in Computer Science #14952) 6183739 Anne E. Haxthausen Wendelin Serwe 9783031681509 2024 Contains images
Formal Methods for Managing and Processing Ontology Alignments 6204521 Marcin Pietranik 9781040133309 2025 Contains images
Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series) 6535322 Lars Lindemann Dimos V. Dimarogonas 9780262382809 2025 Contains images
Formal Methods for Multicore Programming 1518294 Marco Bernardo Einar Broch Johnsen 9783319189413 2015 Contains images
Formal Methods for Safety and Security 1795224 Manju Nanda Yogananda Jeppu 9789811041211 2018 Contains images
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) 5096973 Antonio Cerone Siraj Ahmed Shaikh Markus Roggenbach Gerardo Schneider Bernd-Holger Schlingloff 9783030388003 2022 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

Refine Search

Showing 22,726 through 22,750 of 62,593 results