The IOTA Programming System

The IOTA Programming System

Author: R. Nakajima

Publisher: Springer Science & Business Media

ISBN: 3540126937

Category: Computers

Page: 217

View: 464

Download Now
The IOTA Programming System
Language: en
Pages: 217
Authors: R. Nakajima, Taiichi Yuasa, T. Yuasa
Categories: Computers
Type: BOOK - Published: 1983-10 - Publisher: Springer Science & Business Media

Books about The IOTA Programming System
The Iota Programming System
Language: en
Pages: 232
Authors: R. Nakajima, T. Yuasa
Categories: Computers
Type: BOOK - Published: 2014-01-15 - Publisher:

Books about The Iota Programming System
The IOTA Programming System
Language: en
Pages: 22
Authors: Reiji Nakajima, Taiichi Yuasa
Categories: Computers
Type: BOOK - Published: 1980 - Publisher:

Books about The IOTA Programming System
The Programming and Proof System ATES
Language: en
Pages: 341
Authors: Armand Puccetti
Categories: Computers
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media

Today, people use a large number of "systems" ranging in complexity from washing machines to international airline reservation systems. Computers are used in nearly all such systems: accuracy and security are becoming increasingly essential. The design of such computer systems should make use of development methods as systematic as those
Bibliography on Abstract Data Types
Language: en
Pages: 196
Authors: B. Kutzler, F. Lichtenberger
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung", project nr. P4567