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
Software Engineering and Formal Methods
Best Price (Coupon Required):
Buy Software Engineering and Formal Methods 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 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.
Reviews
Questions & Answers
EURASIP Directory 1983
$169.99
Hemodynamic Monitoring
$84.99
Farbphotographie
$64.99
Mediterranean Cold-Water Corals: Past, Present and Future
$299.99
Prozemanagement
$29.99
British Intelligence and the Japanese Challenge in Asia, 19141941
$119.99
Social Navigation of Information Space
$109.99
Amelia Bedelia Tries Her Luck
$4.46
Weird Weather
$44.99
Matriarchy and Power in Africa
$54.99
Stable Convergence and Stable Limit Theorems
$99.99
Supramolecular Assembly via Hydrogen Bonds I
$169.00
Earthworm Assisted Remediation of Effluents and Wastes
$129.00
The Internet for Radiology Practice
$39.99
Automatic Generation of Morphological Set Recognition Algorithms
$84.99
Das radikale Milieu
$59.99
The Speaking Self: Language Lore and English Usage
$99.00
Analysis and Control of Output Synchronization for Complex Dynamical Networks
$159.99
L. E. J. Brouwer: Intuitionismus
$34.99
Krankenhaus-Controlling und monetre Anreize fr leitende rzte
$74.99
Sympathy and India in British Literature, 1770-1830
$39.99
Democratization and Human Security in Postwar Sierra Leone
$54.99
Geschftsmodelle fr den Mobilfunk
$74.99
Management von Refinanzierungsrisiken in Kreditinstituten
$54.99
Greening Cities
$99.00
Dermatologischer Noxen-Katalog
$49.95
The Basics of Cancer Immunotherapy
$29.99
Theoretische Untersuchungen zur Weiterentwicklung der Kennfeldberechnung vielstufiger Axialverdichte
$59.99
4th EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing
$169.99
Float Glass Innovation in the Flat Glass Industry
$54.99
Transitions from Education to Work
$54.99
The State of Deformation in Earthlike Self-Gravitating Objects
$39.99
Australians and the First World War
$119.99
Advances in Cryogenic Engineering
$39.99
Perspectives on Strategy
$119.99
Querido Salvatierra
$5.96
Ontology Learning for the Semantic Web
$84.99
Group Invariance in Engineering Boundary Value Problems
$39.99
Neuzeitliche Methoden der Kostenrechnung
$59.99
Graph-Based Representation and Reasoning
$59.99
