Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Formal Methods: Foundations and Applications
Best Price (Coupon Required):
Buy Formal Methods: Foundations and Applications for $49.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitria, Brazil, during December 46, 2024. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.
Reviews
Questions & Answers
Navigating Religious Authority in Muslim Societies
$129.99
Radical Reactions of Fullerenes and their Derivatives
$84.99
Betriebliche Altersversorgung
$59.99
Neue Wettbewerbspolitik im 21. Jahrhundert
$44.99
Breastfeeding Privatization in Public Education
$119.99
How Toddlers Learn the Secret Language of Movies
$89.00
Advanced Methods for Knowledge Discovery from Complex Data
$129.00
ooperation and Sustainable Development
$379.99
Epitope Mapping Protocols
$84.99
Artificial Neural Networks and Machine Learning ICANN 2022
$54.99
Elemente des Werkzeugmaschinenbaues
$59.99
The Role of Fire in Mediterranean-Type Ecosystems
$39.99
Do You Know Me? (Hardcover)
$13.49
Mediterranean Fruits Bio-wastes
$189.00
Einfhrung in die Mechanik, Akustik und Wrmelehre
$44.99
Excel 2010 Made Simple
$19.99
Proceedings of the Indian Geotechnical Conference 2022 Volume 2
$149.00
Computer Science CACIC 2019
$54.99
Robot Operating System (ROS)
$99.00
Zyklos 3
$49.99
Performance Modeling, Stochastic Networks, and Statistical Multiplexing, Second Edition
$44.99
Applications of Fourier Transform to Smile Modeling
$84.99
Families and New Media
$49.99
Jane Addams: Progressive Pioneer of Peace, Philosophy, Sociology, Social Work and Public Administrat
$79.99
Essays on congruence theory in marketing
$39.99
Moon Victoria & Vancouver Island: Coastal Recreation, Museums & Gardens, Whale-Watching by Andrew Hempstead
$17.99
Atlas of Fetal Imaging
$129.00
Cyclotomic Fields
$54.99
New Perspectives in Multiple Criteria Decision Making
$169.99
Transzendentaler Idealismus
$109.00
Benachteiligte Jugendliche in Europa
$59.99
Generators and Relations for Discrete Groups
$14.99
Feilen
$69.95
Feature Models
$37.99
Blockchain Technology for IoT Applications
$99.00
Art Is Life- Icons and Iconoclasts, Visionaries and Vigilantes, and Flashes of Hope in the Night by Jerry Saltz
$30.00
Geometrische Optik
$64.99
Image Analysis and Processing - ICIAP 2017
$54.99
Soziales Deutschland
$44.99
Nomogramme zur geneigten Sinuslinie
$54.99
