Lecture Notes in Computer Science Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I, Book 14933, (Paperback)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I, Book 14933, (Paperback)
- Author: Springer
- ISBN: 9783031711619
- Format: Paperback
- Publication Date: 2024-09-11
- Page Count: 680
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateSeptember, 2024
- Pages680
- Number in series14933
Current price is USD$49.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days for just $1! Choose a plan at checkout.
Ships to
Arrives by Wed, May 20
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (1)
Starting from $49.99
Try 30 days of Walmart+ for just $1!
T&C apply. Claim offer now
About this item
Product details
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:
Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata;
Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.
- Lecture Notes in Computer Science Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I, Book 14933, (Paperback)
- Author: Springer
- ISBN: 9783031711619
- Format: Paperback
- Publication Date: 2024-09-11
- Page Count: 680
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
September, 2024
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science Pervasive Computing: First International Conference, Pervasive 2002, Zürich, Switzerland, August 26-28, 2002. Proceeding, Book 2414, (Paperback) $56.14 Was $109.00
$5614current price $56.14, Was $109.00$109.00Lecture Notes in Computer Science Pervasive Computing: First International Conference, Pervasive 2002, Zürich, Switzerland, August 26-28, 2002. Proceeding, Book 2414, (Paperback)
Lecture Notes in Computer Science Software Process Technology: 8th European Workshop, Ewspt 2001 Witten, Germany, June 19-21, 2001 Proceedings, Book 2077, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Software Process Technology: 8th European Workshop, Ewspt 2001 Witten, Germany, June 19-21, 2001 Proceedings, Book 2077, (Paperback)
Lecture Notes in Computer Science Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLI, Book 15099, (Paperback) $89.99
$8999current price $89.99Lecture Notes in Computer Science Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLI, Book 15099, (Paperback)
Lecture Notes in Computer Science Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LXX, Book 15144, (Paperback) $75.90
$7590current price $75.90Lecture Notes in Computer Science Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LXX, Book 15144, (Paperback)
Lecture Notes in Computer Science Implementation and Application of Automata: 29th International Conference, Ciaa 2025, Palermo, Italy, September 22-25, 2, Book 15981, (Paperback) $74.99
$7499current price $74.99Lecture Notes in Computer Science Implementation and Application of Automata: 29th International Conference, Ciaa 2025, Palermo, Italy, September 22-25, 2, Book 15981, (Paperback)
Lecture Notes in Computer Science Business Process Management: 23rd International Conference, BPM 2025, Seville, Spain, August 31 - September 5, 2025, Pro, Book 16044, (Paperback) $89.99
$8999current price $89.99Lecture Notes in Computer Science Business Process Management: 23rd International Conference, BPM 2025, Seville, Spain, August 31 - September 5, 2025, Pro, Book 16044, (Paperback)
Lecture Notes in Business Information Pr Research Challenges in Information Science: 14th International Conference, Rcis 2020, Limassol, Cyprus, September 23-25,, Book 385, (Paperback) $53.81
$5381current price $53.81Lecture Notes in Business Information Pr Research Challenges in Information Science: 14th International Conference, Rcis 2020, Limassol, Cyprus, September 23-25,, Book 385, (Paperback)
Lecture Notes in Computer Science Formal Methods for Industrial Critical Systems: 29th International Conference, Fmics 2024, Milan, Italy, September 9-11,, Book 14952, (Paperback) $69.99
$6999current price $69.99Lecture Notes in Computer Science Formal Methods for Industrial Critical Systems: 29th International Conference, Fmics 2024, Milan, Italy, September 9-11,, Book 14952, (Paperback)
Lecture Notes in Computer Science Metaheuristics: 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings, Book 13838, (Paperback) $75.65 Was $89.99
$7565current price $75.65, Was $89.99$89.99Lecture Notes in Computer Science Metaheuristics: 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings, Book 13838, (Paperback)
Reduced price Lecture Notes in Computer Science Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LXX, Book 15146, (Paperback) $89.02
Reduced price
$8902current price $89.02Lecture Notes in Computer Science Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LXX, Book 15146, (Paperback)
Lecture Notes in Computer Science Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings, Book 1633, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings, Book 1633, (Paperback)
Lecture Notes in Computer Science Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29 - October 4, 2024, Proceedings, Part L, Book 15142, (Paperback) $89.99
$8999current price $89.99Lecture Notes in Computer Science Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29 - October 4, 2024, Proceedings, Part L, Book 15142, (Paperback)
Lecture Notes in Computer Science Static Analysis: 5th International Symposium, Sas'98, Pisa, Italy, September 14-16, 1998, Proceedings, Book 1503, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Static Analysis: 5th International Symposium, Sas'98, Pisa, Italy, September 14-16, 1998, Proceedings, Book 1503, (Paperback)
Lecture Notes in Computer Science Icdt'86: International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings, Book 243, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Icdt'86: International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings, Book 243, (Paperback)
Lecture Notes in Computer Science Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXX, Book 15097, (Paperback) $53.81
$5381current price $53.81Lecture Notes in Computer Science Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXX, Book 15097, (Paperback)
Lecture Notes in Computer Science Document Analysis Systems VI: 6th International Workshop, Das 2004, Florence, Italy, September 8-10, 2004, Proceedings, Book 3163, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Document Analysis Systems VI: 6th International Workshop, Das 2004, Florence, Italy, September 8-10, 2004, Proceedings, Book 3163, (Paperback)
Lecture Notes in Computer Science Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29 - October 4, 2024, Proceedings, Part X, Book 15093, (Paperback) $75.79
$7579current price $75.79Lecture Notes in Computer Science Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29 - October 4, 2024, Proceedings, Part X, Book 15093, (Paperback)
Lecture Notes in Business Information Pr Data-Driven Process Discovery and Analysis: 4th International Symposium, Simpda 2014, Milan, Italy, November 19-21, 2014, Book 237, (Paperback) $62.00
$6200current price $62.00Lecture Notes in Business Information Pr Data-Driven Process Discovery and Analysis: 4th International Symposium, Simpda 2014, Milan, Italy, November 19-21, 2014, Book 237, (Paperback)
Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 26th International Conference, Fase 2023, Held as Part of the European J, Book 13991, (Paperback) $49.99
$4999current price $49.99Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 26th International Conference, Fase 2023, Held as Part of the European J, Book 13991, (Paperback)
Lecture Notes in Computer Science Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LV, Book 15113, (Paperback) $89.99
$8999current price $89.99Lecture Notes in Computer Science Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LV, Book 15113, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
