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 the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.
Reviews
Questions & Answers
Die Schaumabscheider als Konstruktionsteile chemischer Apparate
$59.99
Social Value, Climate Change and Environmental Stewardship: Insights from Theory and Practice
$159.99
Fraktale Geometrie Eine Einfhrung
$64.99
Structural Adhesives
$84.99
Parteienkommunikation in Wahlwerbespots
$69.99
Frontline and Factory
$149.00
Baculovirus and Insect Cell Expression Protocols
$109.00
Die Regelung von Dampfanlagen
$49.99
Pediatric Thoracic Surgery
$329.99
Praxiswissen Chemie fr Techniker und Ingenieure
$59.99
Cyber Defense and Situational Awareness
$109.99
Krise und Reform als brgerliches Projekt
$129.99
Securing Biometrics Applications
$109.99
Karen's Worst Day: A Graphic Novel (Baby-Sitters Little Sister Graphix Series #3) by Ann M. Martin
$10.99
Quantitative Methods for Conservation Biology
$84.99
Nichtstationre, eindimensionale und reibungsfreie Gasstrmung schwach kompressibler Medien in Rohre
$59.99
Fiber Crystal Growth from the Melt
$169.99
Ren Descartes: Principles of Philosophy
$219.99
Perspicuous Presentations
$109.99
The Night of Your Life
$7.49
Social Intelligence and Nonverbal Communication
$179.99
Conflict and Compromise
$54.99
Spinal Injuries and Conditions in Young Athletes
$89.00
Algorithmic Aspects in Information and Management
$39.99
Origin and Evolution of Caribbean Mangroves
$139.99
Epistemic Situation Calculus Based on Granular Computing
$159.99
Algorithms and Computation
$84.99
Handbuch Geschichts- und Politikdidaktik
$119.99
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
$49.99
Fluorescenz und Phosphorescenz im Lichte der Neueren Atomtheorie
$59.99
Exploring Knowledge-Intensive Business Services
$109.99
North American Crop Wild Relatives, Volume 2
$219.99
The Chicken Squad: Dark Shadows
$5.96
Advances in Computational Intelligence, Part I
$84.99
Kierkegaard on the Philosophy of History
$39.99
Modulating Gene Expression by Antisense Oligonucleotides to Understand Neural Functioning
$169.99
Introduction to Intelligent Robot System Design
$84.99
Recent Trends in Information Reuse and Integration
$109.99
Herstellung geformter Schluche mit Formdornen aus Formgedchtnislegierung
$59.99
Chemical Engineering Economics
$129.99
