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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Tiziana Margaria Couverture souple
109,50 $
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
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
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 $
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Couverture souple
142,95 $
2 formats offerts
Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings

Couverture souple
71,50 $
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988

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

Couverture souple
141,95 $
Case Technology: A Special Issue of the Journal of Systems Integration

Couverture rigide
220,95 $
Theoretical Aspects of Computer Software: International Symposium Tacs '94 Sendai, Japan, April 19-22, 1994 Proceedings

Couverture souple
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

Couverture souple
71,50 $
Recent Mathematical Methods in Dynamic Programming: Proceedings of the Conference held in Rome, Italy, March 26-28, 1984

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

CHI Couverture souple
292,00 $
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 $
CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems VOL 2

CHI Couverture souple
300,00 $
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 $
Safe Comp 96: The 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23-25 1996

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

CHI Couverture souple
313,00 $
Environmental Software Systems: Ifip Tc5 Wg5.11 International Symposium on Environmental Software Systems (Isess '97), 28 April-2 May 1997, British Columbia, Canada

Couverture souple
285,95 $
2 formats offerts
CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems Vol 9

CHI Couverture souple
309,00 $

É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
Human-Computer Interaction - INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II

Jos Abdelnour Nocera Couverture souple
145,95 $
2 formats offerts
Human-Computer Interaction - INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part III

Jos Abdelnour Nocera Couverture souple
145,95 $
2 formats offerts
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings

Marco Gribaudo Couverture souple
80,50 $
2 formats offerts
Human-Computer Interaction - INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV

Jos Abdelnour Nocera Couverture souple
145,95 $
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
Human-Computer Interaction - INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I

Jos Abdelnour Nocera Couverture souple
145,95 $
2 formats offerts
Relational and Algebraic Methods in Computer Science: 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings

Roland Gl Couverture souple
87,95 $
2 formats offerts
Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings

Mario Trapp Couverture souple
102,50 $
2 formats offerts
Relational And Algebraic Methods In Computer Science: 18th International Conference, Ramics 2020, Palaiseau, France, October 26-29, 2020, Proceedings

Uli Fahrenberg Couverture souple
80,50 $
2 formats offerts
Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings

Alessandro Abate Couverture souple
145,95 $
2 formats offerts
Genetic Programming: 12th European Conference, Eurogp 2009 Tubingen, Germany, April, 15-17, 2009 Proceedings

Leonardo Vanneschi Couverture souple
80,50 $
Disinformation in Open Online Media: 6th Multidisciplinary International Symposium, MISDOOM 2024, Munster, Germany, September 2-4, 2024, Proceedings

Mike Preuss Couverture souple
65,95 $
2 formats offerts
Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Javier Esparza Couverture souple
80,50 $
Virtual Reality and Mixed Reality: 19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14-16, 2022, Proceedings

Gabriel Zachmann Couverture souple
80,50 $
2 formats offerts
Structural Information And Communication Complexity: 27th International Colloquium, Sirocco 2020, Paderborn, Germany, June 29-july 1, 2020, Proceedings

Andrea Werneck Richa Couverture souple
80,50 $
2 formats offerts
Detection of Intrusions and Malware, and Vulnerability Assessment: 21st International Conference, DIMVA 2024, Lausanne, Switzerland, July 17-19, 2024, Proceedings

Federico Maggi Couverture souple
131,50 $
2 formats offerts
Business Process Management: 22nd International Conference, BPM 2024, Krakow, Poland, September 1-6, 2024, Proceedings

Andrea Marrella Couverture souple
131,50 $
2 formats offerts
Relational And Algebraic Methods In Computer Science: 19th International Conference, Ramics 2021, Marseille, France, November 2-5, 2021, Proceedings

Uli Fahrenberg Couverture souple
116,95 $
2 formats offerts
Product-Focused Software Process Improvement: 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II

Regine Kadgien Couverture souple
58,50 $