Passer au contenu principal Passer au contenu du pied de page

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

Édition : Andre Platzer

12 septembre 2024

0,00 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

Acheter le livre numérique

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer Nature Switzerland

ISBN: 9783031711770

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II

Couverture souple
142,95 $
Technologies and Innovation: 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings

Rafael Valencia-garc Couverture souple
116,95 $
2 formats offerts
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Couverture souple
142,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
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

Couverture souple
71,50 $
Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings

Couverture souple
71,50 $
Theoretical Aspects of Computer Software: International Symposium Tacs '94 Sendai, Japan, April 19-22, 1994 Proceedings

Couverture souple
71,50 $
CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems VOL 2

CHI Couverture souple
300,00 $
CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems Vol 8

CHI Couverture souple
292,00 $
ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings

Couverture souple
71,50 $
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

Couverture souple
71,50 $
Data Structure And Software Engineering: Challenges And Improvements

James L. Antonakos Couverture souple
146,95 $
CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems Vol 4

CHI Couverture souple
313,00 $
CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems Vol 9

CHI Couverture souple
309,00 $
Open Source Systems: Grounding Research: 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings

Couverture souple
141,95 $
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Alessandro Aldini Couverture souple
65,95 $
2 formats offerts
Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings

Couverture souple
71,50 $
Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979

Couverture souple
77,95 $
Mathematical Methods of Specification and Synthesis of Software Systems ‘85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985

Couverture rigide
193,99 $
Open Source Software: New Horizons: 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 - June 2, 2010, Proceedings

Couverture souple
142,95 $
2 formats offerts

Évaluation éditoriale

andre platzer

Auteur

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

Andr Platzer Couverture souple
72,95 $
2 formats offerts
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Couverture souple
142,95 $
2 formats offerts
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Couverture souple
80,50 $
2 formats offerts
Database Systems for Advanced Applications: 27th International Conference, DASFAA 2022, Virtual Event, April 11-14, 2022, Proceedings, Part III

Arnab Bhattacharya Couverture souple
145,95 $
2 formats offerts
Database Systems for Advanced Applications: 27th International Conference, DASFAA 2022, Virtual Event, April 11-14, 2022, Proceedings, Part II

Arnab Bhattacharya Couverture souple
175,50 $
2 formats offerts
Fundamentals of Computation Theory: 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Henning Fernau Couverture souple
116,95 $
2 formats offerts
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Couverture souple
102,50 $
2 formats offerts
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Kristin Yvonne Rozier Couverture souple
145,95 $
2 formats offerts
Metaheuristics: 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings

Luca Di Gaspero Couverture souple
131,50 $
2 formats offerts
Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings

Claudio Antares Mezzina Couverture souple
102,50 $
2 formats offerts
Database Systems for Advanced Applications: 27th International Conference, DASFAA 2022, Virtual Event, April 11-14, 2022, Proceedings, Part I

Arnab Bhattacharya Couverture souple
175,50 $
2 formats offerts
Parallel Computing Technologies: 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings

Victor Malyshkin Couverture souple
94,95 $
2 formats offerts
Mathematical Software - ICMS 2024: 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings

Kevin Buzzard Couverture souple
102,50 $
2 formats offerts
Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings

Manuel V Hermenegildo Couverture souple
131,50 $
2 formats offerts
Metaheuristics: 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part II

Marc Sevaux Couverture souple
109,50 $
2 formats offerts
Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings

Martin Kutrib Couverture souple
102,50 $
2 formats offerts
Integer Programming and Combinatorial Optimization: 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27-29, 2022, Proceedings

Karen Aardal Couverture souple
145,95 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gl Couverture souple
80,50 $
2 formats offerts
Metaheuristics: 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part I

Marc Sevaux Couverture souple
109,50 $
2 formats offerts
Combinatorial Algorithms: 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7-9, 2022, Proceedings

Cristina Bazgan Couverture souple
145,95 $
2 formats offerts