Knihu momentálně nemáme skladem
Verification of sequential and concurrent programs
Autoři
Parametry
Více o knize
Software -- Software Engineering.
Nákup knihy
Verification of sequential and concurrent programs, Krzysztof R. Apt
- Jazyk
- Rok vydání
- 1997
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
2021 2022 2023
Navrhnout úpravu
- Titul
- Verification of sequential and concurrent programs
- Jazyk
- německy
- Autoři
- Krzysztof R. Apt
- Vydavatel
- Springer
- Rok vydání
- 1997
- ISBN10
- 0387948961
- ISBN13
- 9780387948966
- Série
- Graduate texts in computer science
- Kategorie
- Počítače, IT, programování
- Anotace
- Software -- Software Engineering.