MARC details
000 -LEADER |
fixed length control field |
01932nam a2200301Ia 4500 |
000 - LEADER |
fixed length control field |
02627nam a22003255i 4500 |
001 - CONTROL NUMBER |
control field |
978-3-031-43678-9 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20240319121142.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
231104s2023 sz | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783031436789 |
-- |
978-3-031-43678-9 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
5.1 |
245 ## - TITLE STATEMENT |
Title |
Formal Methods for an Informal World |
Statement of responsibility, etc. |
edited by Antonio Cerone. |
Medium |
[electronic resource] : |
250 ## - EDITION STATEMENT |
Edition statement |
1st ed. 2023. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Cham |
Name of publisher, distributor, etc. |
Springer International Publishing |
Date of publication, distribution, etc. |
2023 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
XI, 169 p. 81 illus., 50 illus. in color. |
Other physical details |
online resource. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
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. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer Science Logic and Foundations of Programming. |
9 (RLIN) |
39615 |
|
Topical term or geographic name entry element |
Computer science. |
9 (RLIN) |
39616 |
|
Topical term or geographic name entry element |
Programming Language. |
9 (RLIN) |
39617 |
|
Topical term or geographic name entry element |
Programming languages (Electronic computers). |
9 (RLIN) |
39618 |
|
Topical term or geographic name entry element |
Software engineering. |
9 (RLIN) |
39619 |
|
Topical term or geographic name entry element |
Software Engineering. |
9 (RLIN) |
39620 |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Cerone, Antonio. |
9 (RLIN) |
39621 |
856 ## - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-031-43678-9">https://doi.org/10.1007/978-3-031-43678-9</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
e-Book |
Source of classification or shelving scheme |
Dewey Decimal Classification |