Copied Structured Object-Oriented Formal Language and Method
Structured Object-Oriented Formal Language and Method
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification. Due to the Corona pandemic this event was held virtually.
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
Handbuch Familiensoziologie
$69.99
Supply Chain Management
$69.99
Little Leveled Readers: Level D Box Set
$27.74
Statistics Today
$44.99
Push: Bronxwood
$10.49
Neighborhood Poverty and Segregation in the (Re-)Production of Disadvantage
$99.99
Electrons and Phonons in Layered Crystal Structures
$39.99
Bus Stop
$3.00
Wirtschaftsalltag und Interkulturalitt
$74.99
Design Automation of Cyber-Physical Systems
$99.99
In Vitro Diagnostic Industry in China
$169.00
T-Cell Development
$109.99
Technologies for E-Learning and Digital Entertainment
$84.99
Red Sanders: Silviculture and Conservation
$169.99
Arthrose
$79.99
The Right to Health Care: Ethical Considerations
$119.99
Photonic Crystals and Light Localization in the 21st Century
$109.99
Training bei Dyskalkulie und Rechenstrungen
$44.99
Advances in Cryptology -- CRYPTO 2010
$39.99
Kostenrechnung und Unsicherheit
$59.99
Exiles from Erin
$54.99
Artificial Computation in Biology and Medicine
$54.99
War Crimes, Genocide, and Justice
$99.99
Multi-Objective Optimization using Artificial Intelligence Techniques
$49.99
The (p,n) Reaction and the Nucleon-Nucleon Force
$54.99
Memory and Transfer of Information
$54.99
The Cell Biology of Stem Cells
$169.99
Ungleichheit und Mobilitt im sozialen Bewutsein
$69.99
Digestive System
$84.99
Advanced Data Mining and Applications
$109.99
Klang und Struktur in der abendlndischen Musik
$59.99
Theoretische Mechanik
$59.99
Surface Infrared and Raman Spectroscopy
$109.99
Animal Welfare
$54.99
Leitfaden fr septische Intensivpflege
$74.99
Western Spectacle of Governance and the Emergence of Humanitarian World Politics
$89.00
Wireless Sensor Networks and Applications
$169.99
Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation
$39.99
Spektrochemische Grundlagen der Analyse von Gemischen aus Kohlenmonoxyd, Wasserstoff und Stickstoff
$54.99
Distributions in the Physical and Engineering Sciences, Volume 3
$39.99
