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
Mathematical Problems from Applied Logic II
$84.99
Arc-Continent Collision
$219.99
Maximum Entropy, Information Without Probability and Complex Fractals
$109.99
The Palgrave Handbook of Learning and Teaching International Business and Management
$249.99
Einfhrung in die Wahrscheinlichkeitsrechnung
$17.99
Regionalisierung der Strukturpolitik in Nordrhein-Westfalen
$69.99
DNA-Protein Interactions
$109.99
Stem Cells and Cancer Stem Cells, Volume 1
$169.00
Biology and Ecology of Norway Spruce
$169.00
Structure and Function of the Bladder Neck
$109.99
Parallel Processing and Applied Mathematics
$54.99
Cell Biology and Translational Medicine, Volume 10
$169.99
The Second Cold War
$159.99
String Processing and Information Retrieval
$54.99
Climate Adaptability of Buildings
$69.99
Innovations in Collaborative Urban Regeneration
$109.99
Fertigungstechnik von Luft- und Raumfahrzeugen
$59.99
Atlas on Narrow Band Imaging in Upper Aerodigestive Tract Lesions
$109.99
Molecules II / Molekle II
$84.99
Keratin as a Protein Biopolymer
$109.99
Approximate Computing
$129.99
Victorian Comedy and Laughter
$139.99
Liberal Arts and the Legacy of Chinas Christian Universities
$159.99
Strukturale Aspekte moderner Bildungsprozesse
$59.99
Und der Mensch schuf sich selbst
$49.99
Long Life Strategy
$37.99
Dynamic Substructures, Volume 4
$189.00
Inbetriebnahme von Logistikzentren
$19.99
Integrated Formal Methods
$54.99
Handbuch Kultursoziologie
$99.99
Minimally Invasive Thyroidectomy
$149.00
Digital Signal Processing for Communication Systems
$169.99
Embedded Systems
$39.99
Towards Queer Literacy in Elementary Education
$159.99
TransLatin Joyce
$39.99
Abrupt Closure During Coronary Angioplasty
$54.99
Cell Fusion in Health and Disease
$129.00
Whats Left of Blackness
$54.99
Process Analytical Chemistry
$169.00
Die Nominierung von Aufsichtsratsmitgliedern
$54.99
