1 - 3
toradh á dtaispeáint as
3
toradh san iomlán ar an gcuardach '
Loeckx, Jacques, 1931-
'
Léim chuig an ábhar
CAVAL Home
Start Over
Do chuntas
Logáil amach
Logáil isteach
Teanga
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
हिंदी
Հայերէն
Українська
Gach réimse
Teideal
Údar
Ábhar
ISBN/ISSN
Barrachód
AIMSIGH
CASTA
Údar
Loeckx, Jacques, 1931-
1 - 3
toradh á dtaispeáint as
3
toradh san iomlán ar an gcuardach '
Loeckx, Jacques, 1931-
'
, am iarratais: 0.01s
Beachtaigh na torthaí
Sórtáil
De réir ábharthachta
Is nuaí ar dtús
Is sine ar dtús
Gairmuimhir
Údar
Teideal
1
LEABHAR
Ag lódáil…
The foundations of program verification /
de réir
Loeckx
,
Jacques
,
1931
-
Foilsithe / Cruthaithe 1984
Gairmuimhir:
Ag lódáil…
Suíomh:
Ag lódáil…
Cuir le mo chuid Ceanán
Sábháilte in:
2
LEABHAR
Ag lódáil…
Foundations of programming languages /
de réir
Loeckx
,
Jacques
,
1931
-
Foilsithe / Cruthaithe 1988
Gairmuimhir:
Ag lódáil…
Suíomh:
Ag lódáil…
Cuir le mo chuid Ceanán
Sábháilte in:
3
Imeacht comhdhála
LEABHAR
Ag lódáil…
Automata, languages and programming. 2d Colloquium, University of Saarbr ucken, July 29 - August 2, 1974. /
Foilsithe / Cruthaithe 1974
Rannpháirtithe:
“…
Loeckx
,
Jacques
,
1931
-…”
Gairmuimhir:
Ag lódáil…
Suíomh:
Ag lódáil…
Cuir le mo chuid Ceanán
Sábháilte in:
Uirlisí cuardaigh:
Faigh fotha RSS
–
Seol an cuardach seo mar r-phost
Ábhair a bhaineann le hábhar
Computer programming
Computer programs
Congresses
Formal languages
Machine theory
PROSA (Computer program language)
Programming languages (Electronic computers)
Verification