QR kód

Compiler implementation verification through rigorous syntactical code inspection /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Hoffmann, Ulrich
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Kiel : Christian-Albrechts-Universität, 1998
Vydání:	[1st ed.]
Edice:	Bericht ; Nr. 9814
Témata:	prekladač výskumné správy
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Ein für Ausbildungszwecke geeigneter multi-pass ALGOL-60-Modell-Compiler /
Autor: Schoknecht, H.
Vydáno: (1970)

Prekladače /
Autor: Petrášová, Anna
Vydáno: (1989)

Prekladače : Príklady a úlohy /
Autor: Návrat, Pavol 1952-
Vydáno: (1987)

Prekladače /
Autor: Molnár, Ľudovít
Vydáno: (1988)

Překladače /
Autor: Melichar, Bořivoj 1942-
Vydáno: (1983)

Prekladač /
Autor: Petrášová, Anna
Vydáno: (1984)

Překladače /
Autor: Češka, Milan
Vydáno: (1982)

Compiler Specification and Verification /
Autor: Polak, Wolfgang
Vydáno: (1981)

Technical translator ́s manual /
Vydáno: (1971)

Základy překladačů /
Autor: Melichar, Bořivoj 1942-
Vydáno: (1989)

Rezidentní programy /
Autor: Čáp, Jan
Vydáno: (1993)

Borland Pascal 7.0. Kompendium /
Autor: Mikula, Pavel
Vydáno: (1994)

MIKROS - C jazyk : Překladač jazyka. Příručka operátora /
Autor: Otte, Vilém
Vydáno: (1985)

Mikrokontroléry ATMEL AVR : Pascal, základy programování mikrokontrolérů ATMEL AVR v jazyce E-LAB PASCAL /
Autor: Váňa, Vladimír 1950-
Vydáno: (2004)

Překladače. Cvičení /
Autor: Melichar, Bořivoj 1942-
Vydáno: (1986)

Konstrukce překladačů. I. část /
Autor: Melichar, Bořivoj 1942-
Vydáno: (1999)

Technológia v prístavoch a prekladiskách. 1. diel. Prístavy /
Autor: Záležák, Milan
Vydáno: (2000)

THE ADA-COMPILER ON THE DESIGN AND IMPLEMENTATION OF AN ADA LANGUAGE COMPILER /
Autor: Katwijk, Jan Van
Vydáno: (1987)

Moderná učebnica programovania PIC.
Autor: Hrbáček, Jiří 1955-
Vydáno: (2005)

Syntax-oriented coding. A data compression scheme for syntactically structured sources /
Autor: Xie, Changsong
Vydáno: (2000)

Syntactic pattern recognition. An introduction /
Autor: Gonzalez, Rafael C.
Vydáno: (1978)

Syntactic pattern recognition, applications /
Vydáno: (1977)

Turbo Pascal. Popis ovládání /
Autor: Novák, Tomáš
Vydáno: (1991)

První kroky s internetem v rekordním čase /
Autor: Češková, Martina
Vydáno: (2004)

Konstrukce překladačů. II. část /
Autor: Melichar, Bořivoj 1942-
Vydáno: (1999)

Rigorous atomic and molecular physics /
Autor: Enss, Volker
Vydáno: (1981)

The RCS handbook : tools for real-time control systems software development /
Autor: Gazi, Veysel
Vydáno: (2001)

Programovacie systémy. Úvod do operačného systému QNX /
Autor: Zábavník, V.
Vydáno: (1991)

Software development: A rigorous approach /
Autor: Jones, Cliff B.
Vydáno: (1980)

Theory of phase transitions : rigorous results /
Autor: Sinai, Ya. G.
Vydáno: (1982)

Power Translator Professional Version 9.0 : englisch - deutsch - englisch
Vydáno: (2005)

Prekladač CLIPPER. Prekladač jazyka rozširujúceho možnosti jazyka dBase 3plus.
Vydáno: (1991)

Programovanie /
Autor: Mitášová, Irena
Vydáno: (1993)

Automatic Syntactic Analysis Based on Selectional Preferences
Autor: Gelbukh, Alexander
Vydáno: (2018)

Remote visual inspection.
Vydáno: (2011)

Regulatory enforcement and inspections /
Vydáno: (2014)

Construction inspection handbook /
Autor: O ́Brien, James J.
Vydáno: (1974)

A theory of syntactic recognition for natural language /
Autor: Marcus, Mitchell R.
Vydáno: (1980)

The implementation of the Palestinian code of conduct : strengthening ethics and contributing to institution-building /
Vydáno: (2016)

Principles of home inspection. A guide to residential construction, inspection and maintenance /
Autor: Macneill, Joseph G.
Vydáno: (1979)