Cantitate/Preț
Produs

The IOTA Programming System: A Modular Programming Environment: Lecture Notes in Computer Science, cartea 160

Editat de R. Nakajima, T. Yuasa
en Limba Engleză Paperback – oct 1983

Din seria Lecture Notes in Computer Science

Preț: 32926 lei

Preț vechi: 41157 lei
-20% Nou

Puncte Express: 494

Preț estimativ în valută:
6301 6501$ 5333£

Carte tipărită la comandă

Livrare economică 05-19 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540126935
ISBN-10: 3540126937
Pagini: 232
Ilustrații: IX, 217 p.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.33 kg
Ediția:1983
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.