Copied Formal Methods for an Informal World
Formal Methods for an Informal World
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. ... Show More Show Less
Price Comparison
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Thoughts Concerning Education in the Works of Georg Christoph Lichtenberg
$54.99
Introduction to the Smart Court System-of-Systems Engineering Project of China
$129.00
The Politics of Change
$109.99
Kognitive Psychologie
$39.99
The Literary Tourist
$109.99
Introduction to Clinical Ethics: Perspectives from a Physician Bioethicist
$99.99
Modern Trends in Human Leukemia III
$109.99
The Demographic and Development Divide in India
$99.00
Database and Expert Systems Applications
$39.99
Being Present: Mobile Cinema in Kham Tibetan Areas
$109.00
Atlas of European Trichoptera
$449.99
Regionalisation, Growth, and Economic Integration
$109.99
Global Creative Ecosystems
$139.99
Character and Caricature, 1660-1820
$159.99
Web Information Systems Engineering WISE 2024
$64.99
Recent Advances in Engineering Mathematics and Physics
$109.99
Spatial Modelling of Flood Risk and Flood Hazards
$199.99
Effekte des Einsatzes integrierter Unternehmenssoftware im kaufmnnischen Unterricht an Berufsschule
$54.99
Alterssport motivierend gestalten
$44.99
Gefhrliche Beziehungen
$34.99
Advances in Cryptology ASIACRYPT 2023
$79.99
Legend of the Star Dragon: A Branches Book (Dragon Masters #25)
$5.24
Science Awakening I
$39.99
Contemporary Issues in Human Rights Law
$59.99
Diabetes Guide
$109.99
Plasmaphysik
$69.99
Intelligent Data Communication Technologies and Internet of Things
$219.99
Begegnen, Bewegen und Synergien stiften
$54.99
Food Policy Modelling
$109.99
Introduction to Continuum Mechanics for Engineers
$89.99
The In-System Configuration Handbook:
$84.99
Lipids in Freshwater Ecosystems
$169.99
Advances of Science and Technology
$54.99
Benefits, Costs, and Cycles in Workers Compensation
$109.99
Software Product-Family Engineering
$109.99
Electric Vehicle Integration into Modern Power Networks
$199.99
Allergic Diseases From Basic Mechanisms to Comprehensive Management and Prevention
$219.99
Really Professional Internet Person
$11.24
Recent Developments in Waste Management
$219.99
Die Auslegung mehrsprachiger Vertrge
$69.95
