ShopSpell

The IOTA Programming System: A Modular Programming Environment [Paperback]

Add Review

$46.99 ~~$54.99~~ 15% Off (Free Shipping)

100 available

Category: Books (Reference)
ISBN-10: 3540126937
ISBN-10: 3540126937
ISBN-13: 9783540126935
ISBN-13: 9783540126935
Publisher: Springer
Publisher: Springer
Pages: 217
Pages: 217
Binding: Paperback
Binding: Paperback
Pub Date: 01-Feb-1983
Pub Date: 01-Feb-1983
SKU: 3540126937-11-SPRI
SKU: 3540126937-11-SPRI
Item ID: 100909992
List Price: $54.99

Seller: ShopSpell
Ships in: 5 business days
Transit time: Up to 5 business days
Delivery by: Dec 13 to Dec 15
Notes: Brand New Book. Order Now.

1. Language, logical foundation, verification.- 2. System supports for modular programming.- 3. Strategies and techniques for interactive proof.- 4. Supports for building modules, modulebase.- 5. Language processing.- 6. Verification system.- 7. Proof system.- 8. Supports for cooperative modular programming.- 9. Program development witht he IOTA system KWIC example.Springer Book Archives