KOBV Portal

Hits per page

hits 1 - 10 | 10 hits

Sorting

Online Resource

The IOTA Programming System : A Modular Programming Environment (1983)

Nakajima, Reiji. [editor.] ; Yuasa, Taiichi. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

add to watchlist on the watchlist

Details

UID:

almahu_9947920876902882

Format: IX, 217 p. , online resource.

ISBN: 9783540386841

Series Statement: Lecture Notes in Computer Science, 160

Note: 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.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540126935

Language: English

Subjects: Computer Science

RVK:

SS 4800

DOI: 10.1007/3-540-12693-7

URL: http://dx.doi.org/10.1007/3-540-12693-7

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

HU Berlin

UB Potsdam

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Book

The IOTA programming system : a modular programming environment (1983)

Nakajima, Reiji

Berlin u.a. :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV000175849

Format: VII, 217 S.

ISBN: 3-540-12693-7 , 0-387-12693-7

Series Statement: Lecture notes in computer science 160

Language: German

Subjects: Computer Science

RVK:

SS 4800

Keywords: IOTA ; IOTA 〈Programmiersystem〉 ; IOTA 〈Programmiersystem〉

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

FU Berlin

Online Resource

The IOTA Programming System : A Modular Programming Environment (1983)

Nakajima, R. ; Yuasa, T.

Berlin, Heidelberg : Springer Berlin Heidelberg

add to watchlist on the watchlist

Details

UID:

gbv_1649201184

Format: Online-Ressource

ISBN: 9783540386841

Series Statement: Lecture Notes in Computer Science 160

Additional Edition: ISBN 9783540126935

Additional Edition: Buchausg. u.d.T. The IOTA programming system Berlin : Springer, 1983 ISBN 3540126937

Additional Edition: ISBN 0387126937

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: IOTA

DOI: 10.1007/3-540-12693-7

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

Book

The IOTA Programming System : a modular programming environment (1983)

Nakajima, Reiji

Berlin : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV024677045

Format: VII, 217 S.

ISBN: 3540126937 , 0387126937

Series Statement: Lecture notes in computer science 160

Language: Undetermined

Subjects: Computer Science

RVK:

SS 4800

Keywords: IOTA ; IOTA 〈Programmiersystem〉 ; IOTA 〈Programmiersystem〉

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Book

The IOTA Programming System : a modular programming environment (1983)

Nakajima, Reiji

Berlin : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV024677044

Format: VII, 217 S.

ISBN: 3540126937 , 0387126937

Series Statement: Lecture notes in computer science 160

Language: Undetermined

Subjects: Computer Science

RVK:

SS 4800

Keywords: IOTA ; IOTA 〈Programmiersystem〉 ; IOTA 〈Programmiersystem〉

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Online Resource

The IOTA Programming System : A Modular Programming Environment (1983)

Nakajima, R. [editor.] ; Yuasa, T. [editor.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

edoccha_9959186100402883

Format: 1 online resource (IX, 217 p.)

Edition: 1st ed. 1983.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-38684-X

Series Statement: Lecture Notes in Computer Science, 160

Note: Bibliographic Level Mode of Issuance: Monograph , 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. , English

In: Springer eBooks

Additional Edition: ISBN 3-540-12693-7

Language: English

DOI: 10.1007/3-540-12693-7

URL: http://dx.doi.org/10.1007/3-540-12693-7

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

Charité

Online Resource

The IOTA Programming System : A Modular Programming Environment (1983)

Nakajima, R. [editor.] ; Yuasa, T. [editor.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

edocfu_9959186100402883

Format: 1 online resource (IX, 217 p.)

Edition: 1st ed. 1983.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-38684-X

Series Statement: Lecture Notes in Computer Science, 160

In: Springer eBooks

Additional Edition: ISBN 3-540-12693-7

Language: English

DOI: 10.1007/3-540-12693-7

URL: http://dx.doi.org/10.1007/3-540-12693-7

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

FU Berlin

Book

The IOTA programming system : a modular programming environment (1983)

Nakajima, Reiji [Hrsg.]

Berlin : Springer

add to watchlist on the watchlist

Details

UID:

gbv_024290106

Format: VII, 217 S. , graph. Darst.

ISBN: 3540126937 , 0387126937

Series Statement: Lecture notes in computer science 160

Note: Literaturverz. S. [214] - 217

Additional Edition: Online-Ausg. The IOTA programming system Berlin [u.a.] : Springer, 1983 ISBN 9783540386841

Additional Edition: Erscheint auch als Online-Ausgabe Nakajima, R. The IOTA Programming System Berlin, Heidelberg : Springer Berlin Heidelberg, 1983 ISBN 9783540386841

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Modulare Programmierung

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

Online Resource

The IOTA Programming System : A Modular Programming Environment (1983)

Nakajima, R. [editor.] ; Yuasa, T. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

almahu_9948621279102882

Format: IX, 217 p. , online resource.

Edition: 1st ed. 1983.

ISBN: 9783540386841

Series Statement: Lecture Notes in Computer Science, 160

In: Springer Nature eBook

Additional Edition: Printed edition: ISBN 9783662192788

Additional Edition: Printed edition: ISBN 9783540126935

Language: English

DOI: 10.1007/3-540-12693-7

URL: https://doi.org/10.1007/3-540-12693-7

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

Online Resource

The IOTA Programming System : A Modular Programming Environment (1983)

Nakajima, R. [editor.] ; Yuasa, T. [editor.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

almafu_9959186100402883

Format: 1 online resource (IX, 217 p.)

Edition: 1st ed. 1983.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-38684-X

Series Statement: Lecture Notes in Computer Science, 160

In: Springer eBooks

Additional Edition: ISBN 3-540-12693-7

Language: English

DOI: 10.1007/3-540-12693-7

URL: http://dx.doi.org/10.1007/3-540-12693-7

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

hits 1 - 10 | 10 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Did you mean 3446126937?

Did you mean 3540120637?

Did you mean 3503126937?

Kooperativer Bibliotheksverbund

Berlin Brandenburg