Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Formal Methods for an Informal World
Best Price:
Buy Formal Methods for an Informal World for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
Product Details
This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic. The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understanding and formal and informal analysis. The target audience consists of graduate students, young researchers and industrial practitioners, from both computer science and other fields that make use of computational methods.
Reviews
Questions & Answers
The Foreign Exchange Market
$109.99
Die Vermessung des Eisernen Vorhangs
$44.99
Dynamic Ecologies
$109.99
Geteilte Zukunft
$59.99
Betriebsorganisation
$59.99
Segmentberichterstattung nach IFRS 8
$74.99
Monte Carlo Simulation in Statistical Physics
$54.99
Klettermedizin
$74.99
Accelerating Development Velocity Using Docker
$32.99
Evidence-Informed Assessment and Practice in Child Welfare
$54.99
Zwischen Europisierung und Renationalisierung der Freizgigkeit
$64.99
Robust Adaptation to Non-Native Accents in Automatic Speech Recognition
$39.99
Interdisziplinre Leitlinie Management der frhen rheumatoiden Arthritis
$19.99
Theories of Technical Change and Investment
$129.00
Wenn wir marschieren!
$44.99
Das Bildungssystem und seine strukturellen Kopplungen
$64.99
Whither the World: The Political Economy of the Future
$54.99
Chemical Anatomy of the Zebrafish Retina
$109.99
Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music
$39.99
The Management of Uncertainty: Approaches, Methods and Applications
$39.99
Chinese Consumers
$109.99
Introduction to SystemVerilog
$69.99
Smart Technologies for a Sustainable Future
$249.99
ber den Ersatz der Narkose durch die Methoden der Lokalansthesie in der Urologischen Chirurgie
$54.99
Urban Dynamics and Simulation Models
$99.00
Other Renaissances
$54.99
A Most Beautiful Thing- The True Story of America's First All-Black High School Rowing Team by Arshay Cooper
$17.99
Handbuch Markenfhrung
$129.99
Foundations of Physics
$54.99
Modeling, Analysis and Control of Hydraulic Actuator for Forging
$109.99
Effective Technology Integration for Disabled Children
$39.99
Information Geometry and Its Applications
$169.99
Religion and Social Criticism
$139.99
Investor-State Dispute Settlement and National Courts
$49.99
Lehrbuch der Bergbaukunde
$49.99
A Counter-History of Crime Fiction
$84.99
Computational Intelligence in Digital Forensics: Forensic Investigation and Applications
$109.99
Algebra and Related Topics with Applications
$189.00
Car Multimedia Systeme Modell-basiert testen mit SysML
$69.99
Self-Leadership und Fhrung
$37.99
