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 and Software Engineering
Best Price (Coupon Required):
Buy Formal Methods and Software Engineering for $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
Reviews
Questions & Answers
Geisteswissenschaften
$69.99
Practical Enterprise Software Development Techniques
$49.99
Corruption, Sustainable Development and Security Challenges in Africa
$129.99
Breast Surgical Techniques and Interdisciplinary Management
$169.99
Basic Modern Algebra with Applications
$54.99
Computer and Computing Technologies in Agriculture II, Volume 2
$129.00
The UN Security Council Members' Responsibility to Protect
$249.00
Web Information Systems and Applications
$89.99
Automated Development of Fundamental Mathematical Theories
$219.99
Young Black Street Masculinities
$159.99
Galois Theory Through Exercises
$37.99
Interculturality in Chinese Language Education
$109.99
Erfolgsfaktoren beruflicher Weiterbildung
$49.99
Impulsive Control in Continuous and Discrete-Continuous Systems
$39.99
Indias Economy and Society
$169.99
Islamverherrlichung
$49.99
Poverty and Exclusion of Minorities in China and India
$39.99
The Computer Graphics Manual
$199.99
Ralegh and the Throckmortons
$99.00
Algorithmen und Datenstrukturen
$49.99
Opportunities for Phytochemistry in Plant Biotechnology
$84.99
Optimizing IUD Delivery for Adolescents and Young Adults
$44.99
Handbuch Ethik und Recht der Forschung am Menschen
$199.99
Anticlastogens in Mammalian and Human Cells
$84.99
Zur Frage der Erziehung der Architekten und Ingenieure zu Verwaltungsbeamten
$59.99
The Palgrave Handbook of Natural Gas and Global Energy Transitions
$189.00
Marvel Doodles by Marvel Press Book Group
$12.99
Micro-Electronics and Telecommunication Engineering
$249.99
Basic Cell Culture Protocols
$169.99
Structure from Motion using the Extended Kalman Filter
$109.99
Datenbanksysteme in Bro, Technik und Wissenschaft
$59.99
Methode zur Bewertung der Ermdungsfestigkeit von reibdauerbeanspruchten Systemen
$69.99
Beyond Deep Blue
$39.99
Pfahlgrndungen
$49.99
Values Deliberation and Collective Action
$54.99
Developing Contemporary Marxism
$19.99
Foundations of Incidence Geometry
$99.99
Development Success
$109.99
Time Series Analysis
$99.99
Retailing in the 21st Century
$49.99
