Browse Results

Showing 32,876 through 32,900 of 85,776 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) 5239865 Marsha Chechik Joost-Pieter Katoen Martin Leucker 9783031274817 2023 Contains images
Formal Methods: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Lecture Notes in Computer Science #9526) 2839195 Márcio Cornélio Bill Roscoe 9783319294735 2016 Contains images
Formal Methods: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers (Lecture Notes in Computer Science #6527) 4604038 Jim Davies Leila Silva Adenilso Simao 9783642198298 2011
Formal Methods: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Lecture Notes in Computer Science #7498) 4771391 Rohit Gheyi David Naumann 9783642332968 2012
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) 2266614 Klaus Havelund Jan Peleska Bill Roscoe Erik De Vink 9783319955827 2018 Contains images
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings (Lecture Notes in Computer Science #13047) 4352375 Marieke Huisman Corina Păsăreanu Naijun Zhan 9783030908706 2021 Contains images
Formal Methods: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Lecture Notes in Computer Science #8195) 4784579 Juliano Iyoda Leonardo De Moura 9783642410710 2013
Formal Methods: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings (Lecture Notes in Computer Science #13768) 5125295 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) 2336706 Tiago Massoni Mohammad Reza Mousavi 9783030030445 2018 Contains images
Formal Methods: An Appetizer 2827007 Flemming Nielson Hanne Riis Nielson 9783030051563 2019
Formal Methods: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science #5902) 4772841 Marcel Vinícius Medeiros Oliveira Jim Woodcock 9783642104527 2009
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14933) 6212635 André Platzer Kristin Yvonne Rozier Matteo Pradella Matteo Rossi 9783031711626 2025 Contains images
Formal Methods: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Lecture Notes in Computer Science #10090) 2854413 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) 6174477 Matteo Rossi Kristin Yvonne Rozier Andre Platzer Matteo Pradella 9783031711770 2025 Contains images
Formal Methods: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Lecture Notes in Computer Science #7021) 4588845 Adenilso Simao Carroll Morgan 9783642250323 2011
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) 3945401 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) 3356670 Maurice H. ter Beek Annabelle McIver José N. Oliveira 9783030309428 2019 Contains images
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science #4700) 4778835 Cliff B. Jones Zhiming Liu Jim Woodcock 9783540752219 2007
Formal Methods and Models for System Design: A System Level Perspective (The\kluwer International Series In Video Computing) 3854961 Rajesh Gupta Paul Le Guernic Sandeep Kumar Shukla Jean-Pierre Talpin 9781402080524 2004
Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT)) 3861494 Stephen J. Goldsack Stuart J. H. Kent 9781447130710 1996
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) 2975301 Yamine Ait-Ameur Shengchao Qin 9783030324094 2019 Contains images
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings (Lecture Notes in Computer Science #7635) 4728485 Toshiaki Aoki Kenji Taguchi 9783642342813 2012
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings (Lecture Notes in Computer Science #5885) 4775149 Karin Breitman Ana Cavalcanti 9783642103735 2009
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (Lecture Notes in Computer Science #9407) 2836130 Michael Butler Sylvain Conchon Fatiha Zaïdi 9783319254234 2015 Contains images
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings (Lecture Notes in Computer Science #4789) 4801887 Michael Butler Michael G. Hinchey Maria M. Larrondo-Petrie 9783540766506 2007

Refine Search

Showing 32,876 through 32,900 of 85,776 results