Copied Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.
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
|
|
$34.99 | $34.99 |
|
$34.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Felix Hausdorff - Gesammelte Werke Band 5
$129.99
ber Physik und Astrophysik
$69.99
Atlas of Exocrine Pancreatic Tumors
$54.99
Medikamentenmanagement in der ambulanten und stationren Altenpflege
$37.99
Arbeit als Subjektivierendes Handeln
$69.99
ber die schnellen Teilprozesse photosensibilisierter Substrat-bertragungen
$59.99
The Theology of Pope Benedict XVI
$54.99
Agrobacterium: From Biology to Biotechnology
$219.99
Orthogonal and Symplectic Clifford Algebras
$169.99
Advances in Artificial Intelligence and Its Applications
$54.99
Blockchain ICBC 2018
$54.99
Citizenship, Education and Violence
$49.99
100 American Crime Writers
$109.99
Frontiers in Clinical Neuroscience
$109.99
Morphometrics
$109.99
Commodities, Governance and Economic Development under Globalization
$84.99
Discovery of Co-existing Non-collinear Spin Textures in D2d Heusler Compounds
$129.00
6GN for Future Wireless Networks
$89.00
Zerspantechnik
$59.99
Wie beeinflusst soziales Kapital den erfolgreichen Wissenstransfer in projektbasierten Organisatione
$64.99
Blue Carbon Dynamics of the Indian Ocean
$169.99
Netzwerkartige Wertschpfungssysteme
$69.99
Plant Virus Evolution
$169.99
The Philosophical Novel as a Literary Genre
$89.00
Timing Optimization Through Clock Skew Scheduling
$84.99
Predictive, Preventive, and Personalised Medicine: From Bench to Bedside
$129.00
Ethical Challenges in Genomics Research
$129.00
Social Exclusion
$89.00
Semantische Frames in interkultureller Markenkommunikation
$74.99
Kesselspeiseeinrichtungen
$59.99
Structure and Bonding
$84.99
Deutsche Auenpolitik
$49.99
Deconstructing Doctoral Discourses
$129.00
3rd EAI International Conference on IoT in Urban Space
$129.00
Dispositionsparameter von SAP R/3-PP
$54.99
The Future of Electricity Retailing and How We Get There
$99.00
Theory and Interpretation of Magnetic Resonance Spectra
$54.99
Intelligent Human Computer Interaction
$54.99
One Is a Snail, Ten Is a Crab
$5.21
Formal Methods in Human-Computer Interaction
$54.99
