The IOTA Programming System: A Modular Programming Environment by R. NakajimaThe IOTA Programming System: A Modular Programming Environment by R. Nakajima

The IOTA Programming System: A Modular Programming Environment

EditorR. Nakajima

Paperback | October 1, 1983

Pricing and Purchase Info

$104.20 online 
$116.95 list price save 10%
Earn 521 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:The IOTA Programming System: A Modular Programming EnvironmentFormat:PaperbackDimensions:217 pages, 9.25 × 6.1 × 0 inPublished:October 1, 1983Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540126937

ISBN - 13:9783540126935

Look for similar items by category:

Reviews

Table of Contents

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.