Compiler specification and verification

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Polak, Wolfgang (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 1981
Schriftenreihe:	Lecture notes in computer science 124
Schlagworte:	Compilation (Ordinateurs) Compilers Logiciels - Vérification compilation conception compilateur langage cible langage source spécification compilateur Compilers (Computer programs) Computer programs > Verification Programmierung Compiler Verifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Compiler specification and verification von Polak, Wolfgang

Veröffentlicht 1981

Buch

Veröffentlicht 1981

Volltext

Elektronisch E-Book