Formal Methods in Architecture

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Marques, Bruno
Muut tekijät: Ruivo, Catarina, Viana, David Leite, Vaz, Jorge Vieira
Aineistotyyppi: E-kirja
Kieli:englanti
Julkaistu: Springer Nature, 2025.
Aiheet:
Linkit:Access eBook
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
Kuvaus
Ulkoasu:1 online resource
Aineistotyyppi:Mode of access: World Wide Web.
ISBN:978-3-032-02782-5