| Ulkoasu |
1 online resource (166 pages) |
|---|---|
| Kieli |
englanti |
| Julkaisija |
Cham :
Springer Nature Switzerland,
2024.
|
| Sarja | Lecture Notes in Computer Science, ISSN 1611-3349; 14414 |
| Luokitus | |
| Dewey-luokitus |
005.1 |
| Aiheet | |
| Lisätiedot | edited by Haniel Barbosa, Yoni Zohar |
| Painettu |
Barbosa, Haniel Formal Methods: Foundations and Applications Cham : Springer,c2024 9783031493416 |
| ISBN |
3-031-49342-7 |
| DOI | 10.1007/978-3-031-49342-3 |
| Standarditunnukset |
doi 10.1007/978-3-031-49342-3 |
| 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
