| Ulkoasu |
1 online resource (400 pages) |
|---|---|
| Kieli |
englanti |
| Huomautukset |
Includes index. |
| Julkaisija |
Cham :
Springer Nature Switzerland,
2023.
|
| Sarja | Lecture Notes in Computer Science, ISSN 1611-3349; 13881 |
| Luokitus | |
| Dewey-luokitus |
005.369 |
| Aiheet | |
| Lisätiedot | edited by Cezara Dragoi, Michael Emmi, Jingbo Wang |
| Painettu |
Dragoi, Cezara Verification, Model Checking, and Abstract Interpretation Cham : Springer,c2023 9783031249495 |
| ISBN |
3-031-24950-X |
| DOI | 10.1007/978-3-031-24950-1 |
| Standarditunnukset |
doi 10.1007/978-3-031-24950-1 |
| Hae kokoteksti | |
Sisältöä ei voida näyttää
Chat-sisältöä ei voida näyttää evästeasetusten vuoksi. Nähdäksesi sisällön sinun tulee sallia evästeasetuksista seuraavat: Chat-palveluiden evästeet.
Evästeasetukset
