Compiler Specification and Verification de W. Polak

Compiler Specification and Verification: Lecture Notes in Computer Science, cartea 124

Autor W. Polak

en Limba Engleză Paperback – oct 1981

Din seria Lecture Notes in Computer Science

Preț: 238^.54 lei

Preț vechi: 298^.18 lei
-20% Nou

Puncte Express: 358

:
45^.65€ • 47^.56$ • 37^.96£

Carte tipărită la comandă

Livrare economică 11-25 februarie 25

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540108863
ISBN-10: 3540108866
Pagini: 292
Ilustrații: XIII, 272 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:1981
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions.