Vissa av webbplatsens funktioner begränsas av dina webbläsarinställningar (t.ex. privat läge). Byt surfläge för att kunna lägga artiklar i varukorgen.

Jag förstår

Data & IT

The IOTA Programming System

R Nakajima • T Yuasa

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

217 sidor
1983

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.

Författare: R Nakajima, T Yuasa
Format: Pocket/Paperback
ISBN: 9783540126935
Språk: Engelska
Antal sidor: 217
Utgivningsdatum: 1983-10-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K