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 |
|
$31.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Computability and Models
$109.99
Management Effizienz
$69.99
Image Processing and Communications Challenges 5
$169.99
Logistik in der Automobilindustrie
$99.00
The Global Resurgence of Religion and the Transformation of International Relations
$109.99
Hommel interaktiv Update Netzwerkversion 20.0 auf 21.0
$1,569.00
Genesis and Development of Plekhanovs Theory of Knowledge
$109.99
Bioastronomy - The Next Steps
$219.99
Arbeiten mit Messdaten
$29.99
Temperaturberechnung der Venusatmosphre bis 80 km Hhe aufgrund Solarer und Thermischer Strahlungss
$69.99
Gestational Diabetes
$39.99
Neuroglia I
$59.99
Direct Methods for Solving Macromolecular Structures
$219.99
Fair Value Accounting
$79.99
Electronic Business and Education
$169.00
Unconventional Diplomacy in Southern Africa
$54.99
The Chemical Equilibrium of Gaseous Systems
$109.99
New World Irish
$54.99
Inductive Logic Programming
$39.99
Der Angriff eisengesttigter Zinkschmelzen auf silizium- und manganhaltiges Eisen
$59.99
Pelvic Floor Ultrasound
$99.99
Keys to Drawing by Bert Dodson
$25.99
Services Marketing Issues in Emerging Economies
$169.99
Die Computerspieler
$59.99
HCI International 2020 Late Breaking Papers: Virtual and Augmented Reality
$39.99
Female Urinary Incontinence
$179.99
Maxwells Equations in Periodic Structures
$139.99
Lyapunov Functionals and Stability of Stochastic Difference Equations
$109.99
Advances in Cryptology ASIACRYPT 2023
$79.99
Order Perturbation Theory and Summation Methods in Quantum Mechanics
$109.99
Techniques in Quantification and Localization of Gene Expression
$109.99
Human Retroviral Infections
$129.00
Wrmelehre und Chemie
$59.99
Representations of Discrete Functions
$169.99
Sensoren
$39.99
The Evolution of Monetary Policy Strategies in Europe
$169.99
Foundations of Information and Knowledge Systems
$39.99
Ermittlung der Einhrtungstiefen beim Induktionshrten mit einer Frequenz von 10 kHz
$54.99
Microbial Systems Biology
$249.99
Government, Business, and the Politics of Interdependence and Conflict across the Taiwan Strait
$54.99
