Koha online

Widok standardowy Widok MARC Widok ISBD

Using formal description techniques : an introduction to ESTELLE, LOTOS and SDL / ed. by Kenneth J. Turner. - Chichester : John Wiley & Sons, cop. 1993. - XXVIII, 431 s. : rys. ; 24 cm. - Wiley Series in Communication and Distributed Systems . - Wiley Series in Communication and Distributed Systems .

Bibliogr. s. 409-414. Indeksy.

ISBN: 0471934550

Subjects--Topical Terms:
Komputery--programowanie.
Języki formalne.