000			01932nam a2200301Ia 4500
000			02627nam a22003255i 4500
001			978-3-031-43678-9
003			DE-He213
005			20240319121142.0
007			cr nn 008mamaa
008			231104s2023 sz | s |||| 0|eng d
020			_a9783031436789 _9978-3-031-43678-9
082			_a5.1
245			_aFormal Methods for an Informal World _cedited by Antonio Cerone. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer International Publishing _c2023
300			_aXI, 169 p. 81 illus., 50 illus. in color. _bonline resource.
520			_aThis 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.
650			_aComputer Science Logic and Foundations of Programming. _939615
650			_aComputer science. _939616
650			_aProgramming Language. _939617
650			_aProgramming languages (Electronic computers). _939618
650			_aSoftware engineering. _939619
650			_aSoftware Engineering. _939620
700			_aCerone, Antonio. _939621
856			_uhttps://doi.org/10.1007/978-3-031-43678-9
942			_cEBK _2ddc
999			_c15883 _d15883