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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Algebraic Number Theory
$37.99
Film, Form and Phantasy
$109.99
Parametric Experiments in Architecture
$54.99
Rekristallisationstexturen hochreiner Aluminium-Mangan- und Kupfer-Zink-Legierungen
$84.99
Applications of Palynology in Stratigraphy and Climate Studies
$119.00
Introduction to Medical Image Analysis
$39.99
Koordination im Supply Chain Management
$59.99
Vergleichende Leitfhigkeitsmessungen an Narkotisierten Muskel- und Bindegewebs-Membranen
$44.99
Unfallversicherung
$59.99
Deutsch fr Pflege und Betreuung
$19.99
Environmental Hydraulics
$169.99
Ausbruch aus der Komplexittsfalle
$49.99
Mechanical Behaviour of Materials
$109.99
Running Mainframe z on Distributed Platforms
$39.99
Thucydides and Political Order
$54.99
The Practice of Enterprise Modeling
$54.99
Vitamin D Analogs in Cancer Prevention and Therapy
$169.00
Laboratory Protocols in Fungal Biology
$329.99
Evolutionary Protistology
$169.99
Functional and Logic Programming
$54.99
Glial-Neuronal Communication in Development and Regeneration
$84.99
Finanzmarktstatistik
$59.99
Praxishandbuch lebensphasenorientiertes Personalmanagement
$49.99
Fragmentation of Rings and Shells
$189.00
Advances in Abrasive Based Machining and Finishing Processes
$169.99
Liquid Metal Soft Machines
$89.00
Strahlen- und photochemisch initiierte Konfigurationsisomerisierung hhermolekularer Monoolefine mit
$59.99
Berichte des Ausschusses fr Versuche im Eisenbau
$59.99
Cubic Metaplectic Forms and Theta Functions
$54.99
God has Many Names
$39.99
Biology of Depressive Disorders. Part B
$109.99
Stress und Belastung bei Fachkrften der Jugendhilfe
$69.99
Design Patterns in C#
$39.99
Food and Livelihood Securities in Changing Climate of the Himalaya
$109.00
The World's Most Threatening Terrorist Networks and Criminal Gangs
$54.99
Computer Safety, Reliability, and Security
$54.99
Kronecker Modeling and Analysis of Multidimensional Markovian Systems
$109.99
Strategisches Softwaremarketing
$44.99
Bildungscontrolling im E-Learning
$99.99
From Fermat to Minkowski
$54.99
