Formal methods : an appetizer /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Nielson, Flemming, 1955- (Autor), Nielson, Hanne Riis, 1954- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cham : Springer, [2019]
Témata:
počítačem podporované navrhování
systémové inženýrství
computer-aided design
systems engineering
kolektivní monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
Popis
Popis jednotky:Obsahuje rejstřík
Fyzický popis:xvii, 160 stran : ilustrace
ISBN:978-3-030-05155-6

Podobné jednotky