ShopSpell

Towards a Formal Description of Ada [Paperback]

Add Review

$82.99 ~~$109.99~~ 25% Off (Free Shipping)

100 available

Category: Books (Computers)
ISBN-10: 3540102833
ISBN-10: 3540102833
ISBN-13: 9783540102830
ISBN-13: 9783540102830
Publisher: Springer
Publisher: Springer
Pages: 546
Pages: 546
Binding: Paperback
Binding: Paperback
Pub Date: 01-Feb-1980
Pub Date: 01-Feb-1980
SKU: 3540102833-11-SPRI
SKU: 3540102833-11-SPRI
Item ID: 100928182
List Price: $109.99

Seller: ShopSpell
Ships in: 5 business days
Transit time: Up to 5 business days
Delivery by: Jul 07 to Jul 09
Notes: Brand New Book. Order Now.

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.Springer Book Archives