Cantitate/Preț
Produs

Compiler Specification and Verification

Autor W. Polak
en Limba Engleză Paperback – oct 1981

Preț: 23502 lei

Preț vechi: 29377 lei
-20%

Puncte Express: 353

Preț estimativ în valută:
4153 4813$ 3621£

Carte tipărită la comandă

Livrare economică 15-29 mai


Specificații

ISBN-13: 9783540108863
ISBN-10: 3540108866
Pagini: 292
Ilustrații: XIII, 272 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.45 kg
Ediția:1981
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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