Compiler specification and verification /

Bibliographic Details
Main Author:	Polak, Wolfgang, 1950-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1981.
Series:	Lecture notes in computer science ; 124.
Subjects:	Compilers (Computer programs) Computer programs > Verification. spécification compilateur. langage cible. langage source. conception compilateur. compilation. Compilation (Ordinateurs) Logiciels > Vérification. Compilers. Compiler. Programmierung. Verifikation. Electronic books.
Online Access:	Connect to the full text of this electronic book

Remote Storage