Formal Methods for an Informal World is popular PDF and ePub book, written by Antonio Cerone in 2023-11-04, it is a fantastic choice for those who relish reading online the Computers genre. Let's immerse ourselves in this engaging Computers book by exploring the summary and details provided below. Remember, Formal Methods for an Informal World can be Read Online from any device for your convenience.
Formal Methods for an Informal World Book PDF Summary
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.
Detail Book of Formal Methods for an Informal World PDF
- Author : Antonio Cerone
- Release : 04 November 2023
- Publisher : Springer Nature
- ISBN : 9783031436789
- Genre : Computers
- Total Page : 180 pages
- Language : English
- PDF File Size : 7,7 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Formal Methods for an Informal World by Antonio Cerone, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.