Skip to main content Skip to footer content

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Edited by Andre Platzer

Sep 12, 2024

$0.00

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Lecture Notes In Computer Science

Publisher: Springer Nature Switzerland

ISBN: 9783031711770

Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Kobo eBook
$66.99 ~~Price reduced from $83.03 to~~
2 formats available
Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Paperback
$71.50
2 formats available
Information Security and Cryptology - ICISC 2023: 26th International Conference on Information Security and Cryptology, ICISC 2023, Seoul, South Korea, November 29 - December 1, 2023, Revised Selected Papers, Part I

Hwajeong Seo Paperback
$58.50
Information Security and Cryptology - ICISC 2023: 26th International Conference on Information Security and Cryptology, ICISC 2023, Seoul, South Korea, November 29 - December 1, 2023, Revised Selected Papers, Part II

Hwajeong Seo Paperback
$58.50
Technologies and Innovation: 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings

Rafael Valencia-garc Paperback
$116.95
2 formats available
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Paperback
$71.50
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings

Paperback
$71.50
Shifting Paradigms in Software Engineering: Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in Klagenfurt, Austria, 1992

Paperback
$71.50
Software Engineering Education: 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings

Paperback
$142.95
Metaverse - METAVERSE 2024: 20th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Chunxiao Xing Paperback
$80.50
Principles Of Distributed Systems: 13th International Conference, Opodis 2009, Nimes, France, December 15-18, 2009. Proceedings

Tarek F. Abdelzaher Paperback
$80.50
Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings

Paperback
$71.50
Blockchain Technology and Emerging Applications: Third EAI International Conference, BlockTEA 2023, Wuhan, China, December 2-3, 2023, Proceedings

Jiageng Chen Paperback
$72.95
CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems VOL 2

CHI Paperback
$300.00
Blockchain Technology and Emerging Applications: Third EAI International Conference, BlockTEA 2023, Wuhan, China, December 2-3, 2023, Proceedings

Jiageng Chen Paperback
$94.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

Kobo eBook
$60.99 ~~Price reduced from $75.48 to~~
2 formats available
CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems Vol 9

CHI Paperback
$309.00
CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems Vol 8

CHI Paperback
$292.00
High Performance Computing: 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 - July 2, 2021, Proceedings

Bradford L. Chamberlain Paperback
$80.50
2 formats available
Mobile Networks And Management: 11th Eai International Conference, Monami 2021, Virtual Event, October 27-29, 2021, Proceedings

Carlos T. Calafate Paperback
$131.50
2 formats available

Editorial reviews

andre platzer

Author

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Andr Platzer Paperback
$72.95
2 formats available
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Paperback
$142.95
2 formats available
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Paperback
$102.50
2 formats available
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Paperback
$80.50
2 formats available
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Carla Ferreira Paperback
$102.50
2 formats available
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Maurice H. ter Beek Paperback
$124.50
2 formats available
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Alessandro Cimatti Paperback
$94.95
2 formats available
Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Juliana Bowles Paperback
$94.95
2 formats available
Fundamentals of Computation Theory: 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Henning Fernau Paperback
$116.95
2 formats available
Algorithms and Complexity: 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings

Marios Mavronicolas Paperback
$124.50
2 formats available
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Cristina David Paperback
$124.50
2 formats available
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gl Paperback
$80.50
2 formats available
String Processing and Information Retrieval: 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings

Franco Maria Nardini Paperback
$109.50
2 formats available
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Jan Friso Groote Paperback
$116.95
2 formats available
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Anne E. Haxthausen Paperback
$94.95
2 formats available
Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings

Claudio Antares Mezzina Paperback
$102.50
2 formats available
Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings

François Boulier Paperback
$116.95
2 formats available
Integrated Formal Methods: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

Paula Herber Paperback
$175.50
2 formats available
Engineering of Complex Computer Systems: 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings

Guangdong Bai Paperback
$109.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Tiziana Margaria Paperback
$116.95
2 formats available