Using formal description techniques : an introduction to ESTELLE, LOTOS and SDL / ed. by Kenneth J. Turner.
Turner, Kenneth J [Red.].
Rodzaj materiału:
KsiążkaSerie: Wiley Series in Communication and Distributed Systems: Wydawca: Chichester : John Wiley & Sons, cop. 1993Opis: XXVIII, 431 s. : rys. ; 24 cm.ISBN: 0471934550.Tematy: Komputery -- programowanie | Języki formalne
| Typ dokumentu | Obecna lokalizacja | Sygnatura | Status | Termin zwrotu |
|---|---|---|---|---|
Książki
|
Magazyn | 37896 (Przeglądaj półkę) | Dostępny |
Bibliogr. s. 409-414.
Indeksy.
Brak komentarzy dla tego tytułu.