|
|
1.
|
Using formal description techniques : an introduction to ESTELLE, LOTOS and SDL / ed. by Kenneth J. Turner.
autorstwa: Turner, Kenneth J [Red.]. Rodzaj materiału:  Książka; Format:
druk Wydawca: Chichester : John Wiley & Sons, cop. 1993Status: Egzemplarze dostępne do wypożyczenia: [Sygnatura: 37896] (1).
|
|
|
2.
|
Mathematical foundations of computer science / editors: Antoni Mazurkiewicz, Zdzisław Pawlak.
autorstwa: Mazurkiewicz, Antoni, (1934- ) [Red.] | Pawlak, Zdzisław, (1926-2006) [Red.] | Państwowe Wydawnictwo Naukowe (1951-1992) [pbl]. Rodzaj materiału: Książka; Format:
druk ; Forma literacka:
Tekst nieliteracki ; Przeznaczenie czytelnicze:
Ogólne; Wydawca: Warszawa : PWN, 1977Status: Egzemplarze dostępne do wypożyczenia: [Sygnatura: 31353] (1).
|
|
|
3.
|
Teoriâ formal'nyh âzykov : vvodnyj kurs / V. Dž. Reûord-Smit ; per. s angl. B. A. Kuz'mina ; pod red. I. G. Šestakova.
autorstwa: Rayward-Smith, V. J | Kuz'min, B. A [Tł.] | Šestakov, I. G [Red.]. Rodzaj materiału: Książka; Format:
druk ; Forma literacka:
Tekst nieliteracki Wydawca: Moskva : Radio i Svâz', 1988Inny tytuł: First course in formal language theory.Status: Brak dostępnych egzemplarzy
|
|
|
4.
|
Konstrukcja translatorów dla maszyn cyfrowych / David Gries ; [z jęz. ang. tł.: Krystyna Jerzykiewicz, Jerzy Szczepkowicz].
autorstwa: Gries, David, (1939- ) | Jerzykiewicz, Krystyna [Tł.] | Szczepkowicz, Jerzy, (1940-1997) [Tł.] | Państwowe Wydawnictwo Naukowe (1951-1992) [pbl]. Rodzaj materiału: Książka; Format:
druk ; Forma literacka:
Tekst nieliteracki Wydawca: Warszawa : Państwowe Wydawnictwo Naukowe, 1984Status: Egzemplarze dostępne do wypożyczenia: [Sygnatura: 34678] (1).
|
