+612 9045 4394
 
CHECKOUT
The IOTA Programming System : A Modular Programming Environment - R. Nakajima

The IOTA Programming System

A Modular Programming Environment

By: R. Nakajima (Editor), T. Yuasa (Editor)

Paperback Published: 1st October 1983
ISBN: 9783540126935
Number Of Pages: 217

Share This Book:

Paperback

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

ISBN: 9783540126935
ISBN-10: 3540126937
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 217
Published: 1st October 1983
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.25
Weight (kg): 0.33