Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings /
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference...
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Έκδοση: | 1st ed. 2025. |
| Σειρά: | Lecture Notes in Computer Science,
15234 |
| Θέματα: | |
| Διαθέσιμο Online: | https://doi.org/10.1007/978-3-031-76554-4 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-76554-4 | ||
| 003 | DE-He213 | ||
| 005 | 20260706115640.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 241113s2025 sz | s |||| 0|eng d | ||
| 020 | |a 9783031765544 |9 978-3-031-76554-4 | ||
| 024 | 7 | |a 10.1007/978-3-031-76554-4 |2 doi | |
| 050 | 4 | |a QA76.758 | |
| 072 | 7 | |a UMZ |2 bicssc | |
| 072 | 7 | |a COM051230 |2 bisacsh | |
| 072 | 7 | |a UMZ |2 thema | |
| 082 | 0 | 4 | |a 005.1 |2 23 |
| 245 | 1 | 0 | |a Integrated Formal Methods |h [electronic resource] : |b 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings / |c edited by Nikolai Kosmatov, Laura Kovács. |
| 250 | |a 1st ed. 2025. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2025. | |
| 300 | |a XXII, 328 p. 114 illus., 86 illus. in color. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 15234 | |
| 520 | |a This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers presented in this volume were carefully reviewed and selected from 58 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. | ||
| 650 | 0 | |a Software engineering. | |
| 650 | 1 | 4 | |a Software Engineering. |
| 700 | 1 | |a Kosmatov, Nikolai. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Kovács, Laura. |e editor. |0 (orcid)0000-0002-8299-2714 |1 https://orcid.org/0000-0002-8299-2714 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031765537 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031765551 |
| 830 | 0 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 15234 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-76554-4 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-SXPS | ||
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-239 | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Springer Nature Proceedings Computer Science (SpringerNature-85344) | ||
| 950 | |a Focus Bundle Software and Systems (SpringerNature-85409) | ||