- Tytuł:
- Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
- Autorzy:
- Szmuc, Tomasz
Szpyrka, Marcin
Wydawnictwa Naukowo-Techniczne (Warszawa) - Temat:
- Czas rzeczywisty (informatyka).
Metody formalne (informatyka). - Rok wydania:
- 2010
- Klas. wewnętrzna:
- Informatyka.Automatyka
Książka