Copied Software Engineering and Formal Methods
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote 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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Greek Crisis and European Modernity
$54.99
Kritik der Sozialen Arbeit - kritische Soziale Arbeit
$54.99
Selected Systems from Al-Fe-V to Al-Ni-Zr
$549.99
Water Policy in the Philippines
$109.99
Vitamin D Analogs in Cancer Prevention and Therapy
$169.00
Deutsche Syntax
$29.99
Medienkultur und Gesellschaftsstruktur
$39.99
Detection, Diagnosis and Management of Soil-borne Phytopathogens
$219.99
Flchtigkeiten
$59.99
State Government Budget Stabilization
$109.99
Decision Theater zur Frderung mathematischer Modellierungskompetenz
$17.99
Women and Welfare
$84.99
ShareCity
$39.99
Analytics und Artificial Intelligence
$59.99
Cyber Situational Awareness in Public-Private-Partnerships
$34.99
The Palgrave Handbook of Critical Human Resource Development
$249.99
Indian Spices
$129.99
Human-Computer Interaction - HCI International 2022
$3,999.99
Erwin Schrdinger's Color Theory
$129.99
Handwerk und Computer
$69.95
Transportation in a Net Zero World: Transitioning Towards Low Carbon Public Transport
$159.99
The Human Virome
$179.99
Elefente y Cerdita: Un tipo grande se llev mi pelota! (Elephant & Piggie #19)
$4.49
Operations Research and Artificial Intelligence: The Integration of Problem-Solving Strategies
$219.99
Teaching the Alphabet
$160.00
Umweltgerechte Energiepolitik
$69.95
Synthesis and Release of Adenohypophyseal Hormones
$54.99
Partitioned Representations
$39.99
Managing the Older Adult Patient with HIV
$39.99
AI-Empowered Knowledge Management in Education
$34.99
An Invitation to Geomathematics
$59.99
The Molecular Repertoire of Adenoviruses III
$84.99
Geotechnical Research for Land Protection and Development
$219.99
Environmental Radiation Effects on Mammals
$129.00
Nanomaterials and Nanochemistry
$169.99
Produktionsplanung in der Automobilindustrie
$49.99
Exploration and Production of Oceanic Natural Gas Hydrate
$169.00
Advances in Cryptology ASIACRYPT 2023
$79.99
Analysis and Design of Discrete Part Production Lines
$109.99
From Catastrophe to Chaos: A General Theory of Economic Discontinuities
$169.99
