Copied Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
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
Quantitative Prinzipien gleichmiger Beschrnktheit und Schrfe von Fehlerabschtzungen
$59.99
Microwave Systems Design
$54.99
Romance in Post-Socialist Chinese Television
$54.99
The Science of String Instruments
$109.00
Europa der Regionen
$79.99
MS-DOS 6.0
$69.99
Diffusion in Solids
$329.99
The Unbalanced Economy
$109.99
Externe EU-Governance
$39.99
Modeling and Simulation of Tribological Problems in Technology
$179.99
50+ Years of AIMETA
$299.99
The Myth of Community Care
$39.99
Praxiswissen Radio
$39.99
Alternative Energy Resources in the MENA Region
$219.00
Sustainable Development of Water and Environment
$249.99
Public Health Perspectives on Disability
$99.00
Culture and Computing
$79.99
Friedenssichernde Aspekte des Minderheitenschutzes in der ra des Vlkerbundes und der Vereinten Nat
$69.99
Personalmanagement im Wandel
$69.99
That's Not What I Heard (Hardcover)
$14.24
Ad-Hoc-Mitteilungen und deutscher Aktienmarkt
$59.99
Magnetic Components for Power Electronics
$129.00
Sports and Human Rights
$59.99
Materialverhalten anisotroper Festkrper
$44.99
Radiobiology of Glioblastoma
$109.99
Semantics of Natural Language
$329.99
China's Global Aspirations and Confucianism
$54.99
Therapeutic Applications of Ribozymes and Riboswitches
$109.99
Business in a Virtual World
$54.99
Process-Oriented Dynamic Capabilities
$39.99
Global Competitiveness and Innovation
$109.99
Girls and Aggression
$84.99
Residue Reviews
$39.99
Surgery for Recurrent Soft Tissue Sarcoma
$89.00
Handbook on Radiation Probing, Gauging, Imaging and Analysis
$169.00
Signal Detection in Non-Gaussian Noise
$39.99
Ein Blick hinter die Kulissen
$49.99
Disruption, Ideation and Innovation for Defence and Security
$109.99
Human Nature and Natural Knowledge
$189.00
Medizin im Wandel
$54.99
