Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | , , , |
| Formato: | eBook |
| Idioma: | inglés |
| Publicado: |
Springer Nature,
2023.
|
| Subjects: | |
| Acceso en liña: | Access eBook |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 16194 | ||
| 005 | 20261004180950.0 | ||
| 008 | 261004s2023 o 000 eng | ||
| 020 | |a 978-3-031-26236-4 | ||
| 100 | 1 | |a Masci, Paolo |9 34894 | |
| 700 | 1 | |a Bernardeschi, Cinzia |9 34895 | |
| 700 | 1 | |a Graziani, Pierluigi |9 34896 | |
| 700 | 1 | |a Koddenbrock, Mario |9 34897 | |
| 700 | 1 | |a Palmieri, Maurizio |9 34898 | |
| 245 | 0 | 0 | |a Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops |
| 260 | |b Springer Nature, |c 2023. | ||
| 300 | |a 1 online resource | ||
| 650 | 4 | |a Computer Science |9 69352 | |
| 538 | |a Mode of access: World Wide Web. | ||
| 856 | 4 | 0 | |u https://library.mist.ac.bd/ebooks/3065/go?src=vufind |z Access eBook |
| 942 | |c EBOOK | ||
| 999 | |c 16194 |d 16194 | ||