Copied Software Engineering and Formal Methods
Software Engineering and Formal Methods
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.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Aquaculture Science and Engineering
$189.00
New Trends in E-service and Smart Computing
$54.99
Allergy
$199.99
Haar Wavelets
$84.99
Molekulare Prozesse des Lebens
$54.99
Allgemeinbildung in Deutschland
$59.99
Enhancing Patient Engagement in Pulmonary Healthcare
$69.99
Vpered! 18731877
$39.99
Translating Tourism
$129.99
Distributed, High-Performance and Grid Computing in Computational Biology
$39.99
The Master Trend
$54.99
Resistive Switching: Oxide Materials, Mechanisms, Devices and Operations
$139.00
The Knee: Ligament and Articular Cartilage Injuries
$84.99
The Kepler Problem
$84.99
Crowdsourcing of Sensor Cloud Services
$54.99
Media-Streaming und Geoblocking
$74.99
ROR Exclusive: Jabari Tries Case Pack
$292.50
Hybrid Metaheuristics
$39.99
The Conduction System of the Heart
$139.99
You're My Little Baby Boo by Nicola Edwards
$9.99
Cladocera: the Biology of Model Organisms
$39.99
Goosebumps HorrorLand: The Scream of the Haunted Mask (#4)
$5.99
Space Supporting Africa
$84.99
Descriptional Complexity of Formal Systems
$64.99
Maschinensystematik und Konstruktionsmethodik
$99.99
Demand Fulfillment in Multi-Stage Customer Hierarchies
$54.99
NF-kB/Rel Transcription Factor Family
$129.00
Basic Radiotherapy Physics and Biology
$129.99
The Totalizing Act: Key to Husserls Early Philosophy
$169.99
Intradaily Exchange Rate Movements
$109.99
Donde viven los monstruos
$6.71
Das Grosse Dudenschlerlexikon
$54.99
The Nonkilling Paradigm
$39.99
Community Resilience als Strategie zur Entwicklung von touristischen Destinationen
$64.99
India's Nuclear Fuel Cycle
$19.99
Dumbledore- The Life and Lies of Hogwarts's Renowned Headmaster- An Unofficial Exploration by Irvin Khaytman
$16.99
Plastische Chirurgie der Lider und Chirurgie der Trnenwege
$59.99
The Quark Structure of Hadrons
$99.99
Wirtschaftsordnungen
$59.99
Creative Economies in Peripheral Regions
$129.99
