+612 9045 4394
 
CHECKOUT
Towards a Formal Description of ADA : Lecture Notes in Computer Science - Dines Bjorner

Towards a Formal Description of ADA

Lecture Notes in Computer Science

By: Dines Bjorner (Editor), O. N. Oest (Editor)

Paperback Published: 1st December 1980
ISBN: 9783540102830
Number Of Pages: 630

Share This Book:

Paperback

$181.29
or 4 easy payments of $45.32 with Learn more
Ships in 5 to 9 business days
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.

ISBN: 9783540102830
ISBN-10: 3540102833
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 630
Published: 1st December 1980
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 3.33
Weight (kg): 0.9