Towards a Formal Description of Ada de D Bjorner

Towards a Formal Description of Ada: Lecture Notes in Computer Science, cartea 98

Editat de D Bjorner, O.N. Oest

en Limba Engleză Paperback – dec 1980

Din seria Lecture Notes in Computer Science

Preț: 662^.95 lei

Preț vechi: 828^.69 lei
-20% Nou

Puncte Express: 994

:
126^.92€ • 132^.42$ • 106^.39£

Carte disponibilă

Livrare economică 20 februarie-06 martie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540102830
ISBN-10: 3540102833
Pagini: 648
Ilustrații: XIV, 630 p.
Dimensiuni: 155 x 233 x 34 mm
Greutate: 0.9 kg
Ediția:1980
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

The DDC Ada compiler development method.- A denotational (static) semantics method for defining Ada context conditions.- A formal semantics definition of sequential Ada.- Parallelism in Ada.- The design of a virtual machine for Ada.