Cantitate/Preț
Produs
Total produse
Vezi coșul
The IOTA Programming System de R. Nakajima

The IOTA Programming System

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

Preț: 31869 lei

Preț vechi: 39837 lei
-20%

Puncte Express: 478

Carte tipărită la comandă

Livrare economică 27 iulie-10 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540126935
ISBN-10: 3540126937
Pagini: 232
Ilustrații: IX, 217 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.36 kg
Ediția:1983
Editura: Springer
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.