Copied Formal Methods
Formal Methods
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System. ... Show More Show Less
Price Comparison
|
BEST PRICE 1 Product Purchase
|
|
$89.00 | $89.00 |
|
$89.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Neutron Applications in Earth, Energy and Environmental Sciences
$169.99
Bildverarbeitung fr die Medizin 2021
$89.99
Chaotic Systems with Multistability and Hidden Attractors
$149.00
Psychodynamic Perspectives on Aging and Illness
$54.99
Europium Monoxide
$119.00
Early Experience and Human Development
$39.99
Biodeterioration and Biodegradation
$549.99
Zeugenvorbereitung im Zivilprozess
$79.99
In Situ Monitoring of Fiber-Reinforced Composites
$169.00
Color Atlas of Strabismus Surgery
$219.99
Optimale Prozessorganisation im IT-Management
$59.99
Ausbau eines Wechsellichtmonochromators und seine Anwendung zur Messung des Luftleuchtens Whrend de
$59.99
Regenerative Properties of Central Monoamine Neurons
$109.99
A Clinician's Guide to Sperm DNA and Chromatin Damage
$219.99
Rare Diseases in the Age of Health 2.0
$109.99
Maschinen- und Konstruktionselemente 3
$44.99
The Mnemonic Imagination
$109.00
Theory, Evidence, Data: Themes from George E. Smith
$139.99
Synchrotron Radiation Research
$39.99
Topics in Grammatical Inference
$109.99
Ribosome Profiling
$169.99
The Future of Union Organising
$54.99
Analogies in Optics and Micro Electronics
$84.99
Progress in Artificial Intelligence
$54.99
The Immunoglobulin a System
$54.99
Intelligent Computer Mathematics
$54.99
Index Structures for Data Warehouses
$39.99
Quantum Computing: A Shift from Bits to Qubits
$149.00
Die Praxis der Kreditgewhrung
$59.99
Eigensinnige Geographien
$39.99
Spectral Theory of Linear Operators
$169.99
Einlagerungsverbindungen: Struktur und Dynamik von Gastmoleklen / Struktur und Eigenschaften magmat
$59.99
The Geometry of Supermanifolds
$54.99
Consumers, Tinkerers, Rebels
$32.99
Mathematik fr Ingenieure und Naturwissenschaftler Band 2
$34.99
Onboarding
$17.99
Rapid Game Development Using Cocos2d-JS
$29.99
Multiculturalism as Multimodal Communication
$54.99
Modelling for Financial Decisions
$109.99
Crash Safety of High-Voltage Powertrain Based Electric Vehicles
$179.99
