QR Code

Compiler Specification and Verification /

Saved in:

Bibliographic Details
Main Author:	Polak, Wolfgang (Author)
Format:	Book
Language:	Czech
Published:	Berlin : Springer, 1981
Series:	rz1
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Specification and compositional verification of real-time systems /
by: Hooman, Jozef Johannes Maria
Published: (1991)

Compiler implementation verification through rigorous syntactical code inspection /
by: Hoffmann, Ulrich
Published: (1998)

Protocol specification, testing, and verification. Vol. VIII : Proceedings of the IFIP WG 6.1 8th internat. symp., Atlantic City, New Jersey, USA, June 7 - 10, 1988 /
by: Rudin, Harry
Published: (1988)

Layout design and verification /
by: Ueda, Kazuhiro
Published: (1986)

Program construction and verification /
by: Backhouse, Roland C.
Published: (1986)

SILICON COMPILATION /
by: Gajski, Daniel D.
Published: (1988)

Compiler construction /
by: Waite, William Maccastline
Published: (1984)

THE ADA-COMPILER ON THE DESIGN AND IMPLEMENTATION OF AN ADA LANGUAGE COMPILER /
by: Katwijk, Jan Van
Published: (1987)

SOFTWARE ENGINEERING. ANALYSIS AND VERIFICATION /
by: Lewis, Theodore Gyle
Published: (1982)

Verification and validation in scientific computing /
by: Oberkampf, William L. 1944-, et al.
Published: (2010)

Computer logic, testing and verification /
by: Roth, John Paul
Published: (1980)

Trust in Nuclear Disarmament Verification
by: Bowen, Wyn Q.
Published: (2018)

Compiler construction : theory and practice /
by: Barrett, William A.
Published: (1979)

Formal System Verification State-of the-Art and Future Trends /
Published: (2018)

Compiler design theory /
by: Lewis, Philip M., et al.
Published: (1976)

The anatomy of a compiler /
by: Lee, John A. N.
Published: (1974)

CRAFTING A COMPILER /
by: Fischer, Charles N.
Published: (1988)

The design of an optimizing compiler /
by: Wulf, William
Published: (1977)

Comprendre la compilation /
by: Cunin, P. Y.
Published: (1980)

Compiler construction for computers /
by: Gries, David
Published: (1971)

Construction specifications /
by: Lewis, Jack R.
Published: (1975)

Verification of electronic designs by reconstruction of the hierarchy /
by: Kostelijk, Anton Pieter
Published: (1994)

VERIFICATION OF A MODEL OF THE EASTERN SCHELDT /
by: Leendertse, Jan J.
Published: (1984)

VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE /
by: Bologna, S.
Published: (1985)

Computer aided verification : Proceedings, Elounda, Greece, June 28 - July 1, 1993 /
by: Courcoubetis, Costas
Published: (1993)

Assemblers, compilers and program translation /
by: Calingaert, Peter
Published: (1979)

Writing interactive compilers and interpreters /
by: Brown, Peter John
Published: (1980)

Aconcurrent Pascal compiler for minicomputers /
by: Hartmann, Alfred C.
Published: (1977)

Compiler construction : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
by: Johnson, Neil
Published: (2003)

Computer aided verification : Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996 /
by: Boigelot, Bernard
Published: (1996)

COMPILING LAZY FUNCTIONAL LANGUAGES /
by: Johnsson, Thomas
Published: (1987)

HIGHERLEVELS OF A SILICON COMPILER /
by: Stok, Leon
Published: (1986)

Crafting a compiler with C /
by: Fischer, Charles N.
Published: (1991)

Programming for parallelism and compiling for efficiency /
by: Paalvast, Edwin Martinus Rudolf Maria
Published: (1992)

Maps and diagrams. Their compilation and construction /
by: Monkhouse, F. J.
Published: (1971)

Conceptual models in man-machine design verification /
by: Rasmussen, Jens
Published: (1985)

Instruments for verification analysis and testing of photovoltaic systems
Published: (2012)

Instruments for verification analysis and testing of photovoltaic systems
Published: (2012)

Low-Power Design and Power-Aware Verification
by: Khondkar, Progyna
Published: (2018)

THE SPECIFICATION OF COMPLEX SYSTEMS /
by: Cohen, Bernard
Published: (1986)