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
Ratgeber fr die Grndung elektrischer berlandzentralen
$59.99
Ergebnisorientierte Vergtung bei DRG
$29.99
Memories in Wireless Systems
$169.99
Politeness and Culture in Second Language Acquisition
$54.99
Rethinking the Nature of Fascism
$99.99
Mineral Fillers in Thermoplastics I
$84.99
Finite Mbius Groups, Minimal Immersions of Spheres, and Moduli
$84.99
Progress in Multiple Sclerosis Research
$84.99
Realization Theory of Discrete-Time Dynamical Systems
$84.99
Cyber-Physical Systems
$179.99
Cultivating Learning within Projects
$109.99
Composing Fisher Kernels from Deep Neural Models
$54.99
Sustainable Horizons for Business, Education, and Technology
$169.00
Zukunft der Arbeit Eine praxisnahe Betrachtung
$54.99
Intercultural Competence and Pragmatics
$32.99
The 2019 European Electoral Campaign
$169.99
The Literature of Place
$44.99
Konjunktur und Luftverkehr
$59.99
Energy Transition Holistic Impact Challenge (ETHIC): A New Environmental and Climatic Era
$219.99
Materialverhalten anisotroper Festkrper
$44.99
Volkswirtschaftslehre
$29.99
Der wirtschaftliche Aufbau der elektrischen Maschine
$59.99
Fderalismusreform in Deutschland
$59.99
IV-Controlling in der Praxis
$44.99
Wurzelinduzierte Bodenvorgnge
$39.99
Glycoscience
$329.99
IUTAM Symposium on Topological Design Optimization of Structures, Machines and Materials
$219.99
Advances in Computer Entertainment
$109.99
Systemic Fibroinflammatory Disorders
$169.99
Providing Public Goods in Transitional China
$54.99
Markenpsychologie
$64.99
Secure Data Management
$39.99
Lived Institutions as History of Experience
$49.99
Computer-Assisted Medical Decision Making
$39.99
Historically Underrepresented Faculty and Students in Education Abroad
$169.99
Chapters in Game Theory
$129.00
Digital Heritage Reconstruction Using Super-resolution and Inpainting
$54.99
Krpermanagement
$39.99
Topics in Plasma Diagnostics
$39.99
Anatomy for Artists Joint Forms and Muscular Functions
$11.73
