Integrated Formal Methods (Record no. 86972)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02408nam a22004935i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-031-47705-8 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240730170452.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 231110s2024 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783031477058 |
| -- | 978-3-031-47705-8 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 005.1 |
| 245 10 - TITLE STATEMENT | |
| Title | Integrated Formal Methods |
| Sub Title | 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings / |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2024. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XIX, 400 p. 122 illus., 67 illus. in color. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Herber, Paula. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Wijs, Anton. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://doi.org/10.1007/978-3-031-47705-8 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer Nature Switzerland : |
| -- | Imprint: Springer, |
| -- | 2024. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Software engineering. |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Software Engineering. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 1611-3349 ; |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
No items available.