Fr. 134.00

Bjorner, D Bjorner, D. Bjorner, Dines Bjorner, N Oest, N Oest...

Towards a Formal Description of Ada

English · Paperback / Softback

Shipping usually within 1 to 2 weeks (title will be printed to order)

Description

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.

List of contents

Product details

Assisted by	Bjorner (Editor), D Bjorner (Editor), D. Bjorner (Editor), Dines Bjorner (Editor), N Oest (Editor), N Oest (Editor), O. N. Oest (Editor)
Publisher	Springer, Berlin

Languages	English
Product format	Paperback / Softback
Released	01.01.1960

EAN	9783540102830
ISBN	978-3-540-10283-0
No. of pages	630
Weight	854 g
Illustrations	XIV, 630 p.
Series	Lecture Notes in Computer Science Lecture Notes in Computer Science
Subject	Natural sciences, medicine, IT, technology > IT, data processing > Programming languages

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.