Articoli correlati a The IOTA Programming System: A Modular Programming...
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540126937
- ISBN 13 9783540126935
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine232
- Contatto del produttorenon disponibile
Compra usato
Condizioni: quasi ottimoAncien livre de bibliothèque. Livre...
Visualizza questo articolo
EUR 3,92
EUR 8,00 per la spedizione da Francia a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 53,49
EUR 14,99 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per The IOTA Programming System: A Modular Programming...
Foto dell'editore
The Iota Programming System: A Modular Programming Environment
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1983
ISBN 10: 3540126937
ISBN 13: 9783540126935
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Bon. Ancien livre de bibliothèque. Livre un peu vrillé. Salissures sur la tranche. Edition 1983. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Book slightly twisted. Stains on the edge. Edition 1983. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-596-349
Quantità: 1 disponibili
Foto dell'editore
The IOTA Programming System. A Modular Programming Environment (Lecture Notes in Computer Science 160)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. *Price HAS BEEN REDUCED by 10% until Tuesday, May 27 (holiday SALE item)* 217 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB885239
Quantità: 1 disponibili
Immagini fornite dal venditore
The IOTA Programming System : A Modular Programming Environment
Editore:
Springer Berlin Heidelberg, 1983
ISBN 10: 3540126937
ISBN 13: 9783540126935
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783540126935
Quantità: 1 disponibili
Foto dell'editore
The IOTA Programming System: A Modular Programming Environment (Lecture Notes in Computer Science, 160)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540126935_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
The IOTA Programming System
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. 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 syste. Codice articolo 4881899
Quantità: Più di 20 disponibili
Foto dell'editore
The IOTA Programming System: A Modular Programming Environment (Lecture Notes in Computer Science, 160)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783540126935
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
The IOTA Programming System
Editore:
Springer Berlin Heidelberg Okt 1983, 1983
ISBN 10: 3540126937
ISBN 13: 9783540126935
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 232 pp. Englisch. Codice articolo 9783540126935
Quantità: 2 disponibili
Foto dell'editore
The IOTA Programming System
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 232. Codice articolo 263099470
Quantità: 4 disponibili
Foto dell'editore
The IOTA Programming System : A Modular Programming Environment
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540126935
Quantità: 10 disponibili
Foto dell'editore
The IOTA Programming System
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 232. Codice articolo 183099460
Quantità: 4 disponibili