Copied Software Engineering and Formal Methods
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.
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
Data Driven Approaches in Digital Education
$54.99
Die klinische Wertigkeit biochemischer Faktoren beim Polytrauma
$69.99
Understanding the Language Classroom
$109.99
Invertebrate Immunity
$169.00
British Silent Cinema and the Great War
$39.99
The Political Economy of Chinas Systemic Transformation
$54.99
Non-Wood Forest Products of Asia
$199.99
The Dynamics of Science and Technology
$109.99
Flying Insects and Robots
$169.99
You Are My Special Narwhal
$5.99
Kinder zwischen zwei Kulturen
$59.99
Der Hirnstamm der Maus
$59.99
The Irish Welfare State in the Twenty-First Century
$129.99
Elektrochemische Messungen an Inertgas-Sauerstoff-Gemischen
$59.99
Emotionale Determinanten der Dienstleistungsqualitt
$59.99
Wind, Solar, and Geother: From Concept to Consumermal Power
$6.71
Zeichenerkennung durch biologische und technische Systeme / Pattern Recognition in Biological and Te
$54.99
Ring! Ring!
$3.71
Einleitung in die Mengenlehre
$49.99
Modern Police Leadership
$39.99
Representations and Processes in Language Production
$49.99
The Rose That Grew From Concrete
$8.21
Simulation Techniques and Solutions for Mixed-Signal Coupling in Integrated Circuits
$129.00
Attachment Ventilation Theory
$59.99
International Banking and Finance
$19.99
Proceedings of the 7th International Conference on Electrical, Control and Computer EngineeringVolu
$229.00
Juristische Probleme der Datenverarbeitung in der Medizin
$59.99
Mining for Strategic Competitive Intelligence
$169.99
Das Paranoide Syndrom in Anthropologischer Sicht
$84.99
Goosebumps Horrorland Grades 6-8
$26.00
Computational Science and Its Applications -- ICCSA 2015
$54.99
Elite-Mass Relations in Communist Systems
$39.99
Morse Theory and Floer Homology
$99.99
Chemische Kreislufe in der Natur
$89.99
Theorie der Lebenspraxis
$34.99
Uncle Tom's Cabin on the American Stage and Screen
$54.99
Towards a Software Factory
$84.99
VHDL and FPLDs in Digital Systems Design, Prototyping and Customization
$84.99
recht extrem? Dynamiken in zivilgesellschaftlichen Rumen
$64.99
A Modern History of Materials
$54.99
