Prikaz rezultata
1 – 3
od
3
za pretraživanje '
Loeckx, Jacques, 1931-
'
Preskoči na sadržaj
CAVAL Home
Start Over
Tvoj račun
Odjavi se
Prijava
Jezik
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sva polja
Naslov
Autor
Tema
ISBN/ISSN
Barkod
Nađi
Napredno
Autor
Loeckx, Jacques, 1931-
Prikaz rezultata
1 – 3
od
3
za pretraživanje '
Loeckx, Jacques, 1931-
'
, vrijeme pretraživanja: 0,01s
Detaljiziraj rezultate
Razvrstaj
Značajnost
Datum uzlazno
Datum silazno
Signatura
Autor
Naslov
1
Knjiga
Učitavanje…
The foundations of program verification /
od
Loeckx
,
Jacques
,
1931
-
Izdano 1984
Signatura:
Učitavanje…
Lokalizirano:
Učitavanje…
Spremi u popis
Spremljeno u:
2
Knjiga
Učitavanje…
Foundations of programming languages /
od
Loeckx
,
Jacques
,
1931
-
Izdano 1988
Signatura:
Učitavanje…
Lokalizirano:
Učitavanje…
Spremi u popis
Spremljeno u:
3
Izvještaj sastanka
Knjiga
Učitavanje…
Automata, languages and programming. 2d Colloquium, University of Saarbr ucken, July 29 - August 2, 1974. /
Izdano 1974
Daljnji autori:
“…
Loeckx
,
Jacques
,
1931
-…”
Signatura:
Učitavanje…
Lokalizirano:
Učitavanje…
Spremi u popis
Spremljeno u:
Alati za pretraživanje:
Preuzmi RSS sažetak
–
Pošalji ovo pretraživanje e-poštom
Povezani predmeti
Computer programming
Computer programs
Congresses
Formal languages
Machine theory
PROSA (Computer program language)
Programming languages (Electronic computers)
Verification