Articoli correlati a The IOTA Programming System: A Modular Programming...

The IOTA Programming System: A Modular Programming Environment: 160 - Brossura

Yuasa, T.; Nakajima, R.

 
9783540126935: The IOTA Programming System: A Modular Programming Environment: 160
Brossura
ISBN 10: 3540126937 ISBN 13: 9783540126935
Casa editrice: Springer, 2008

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.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540126937
ISBN 13 
9783540126935
Rilegatura
Copertina flessibile
Numero di pagine
232
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Compra usato

Condizioni: buono
217 pp., Paperback, ex library,...
Visualizza questo articolo
9783540126935: The IOTA Programming System: A Modular Programming Environment: 160
EUR 8,27

Convertire valuta

EUR 3,81 per la spedizione in U.S.A.

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9780387126937: Iota Programming System: A Modular Programming Environment

Edizione in evidenza

ISBN 10:  0387126937 ISBN 13:  9780387126937
Brossura

Risultati della ricerca per The IOTA Programming System: A Modular Programming...

Foto dell'editore

Nakajima, R., Yuasa, T.
Editore: Springer-Verlag, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Antico o usato Brossura

Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Good. 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

Contatta il venditore

Compra usato

EUR 8,27
Convertire valuta
Spese di spedizione: EUR 3,81
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

R. Nakajima et T. Yuasa
ISBN 10: 3540126937 ISBN 13: 9783540126935
Antico o usato Softcover

Da: Ammareal, Morangis, Francia

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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

Contatta il venditore

Compra usato

EUR 2,70
Convertire valuta
Spese di spedizione: EUR 22,50
Da: Francia a: U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Yuasa, T.; Nakajima, R.
Editore: Springer, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Nuovo Paperback

Da: GoldBooks, Denver, CO, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: new. New Copy. Customer Service Guaranteed. Codice articolo 95A99_56_3540126937

Contatta il venditore

Compra nuovo

EUR 35,65
Convertire valuta
Spese di spedizione: EUR 3,60
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Nakajima, R.
Editore: Springer, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Nuovo Brossura

Da: GoldBooks, Denver, CO, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: new. Codice articolo 65J82_94_3540126937

Contatta il venditore

Compra nuovo

EUR 38,25
Convertire valuta
Spese di spedizione: EUR 3,60
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Nakajima, R.
Editore: Springer, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Nuovo Brossura

Da: GoldBooks, Denver, CO, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: new. Codice articolo 15P65_66_3540126937

Contatta il venditore

Compra nuovo

EUR 38,35
Convertire valuta
Spese di spedizione: EUR 3,60
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Nakajima, R. [Editor]; Yuasa, T. [Editor];
Editore: Springer, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Antico o usato Paperback

Da: GuthrieBooks, Spring Branch, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Very Good. 0387126937 Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo DA1412442

Contatta il venditore

Compra usato

EUR 44,94
Convertire valuta
Spese di spedizione: EUR 5,92
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Yuasa, T.; Nakajima, R.
Editore: Springer, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar3113020159908

Contatta il venditore

Compra nuovo

EUR 51,57
Convertire valuta
Spese di spedizione: EUR 3,38
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Yuasa, T.; Nakajima, R.
Editore: Springer, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Nuovo Brossura

Da: California Books, Miami, FL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo I-9783540126935

Contatta il venditore

Compra nuovo

EUR 64,51
Convertire valuta
Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Yuasa, T.; Nakajima, R.
Editore: Springer, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783540126935_new

Contatta il venditore

Compra nuovo

EUR 57,92
Convertire valuta
Spese di spedizione: EUR 13,71
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Nakajima, R.
Editore: Springer 1983-10, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Nuovo PF

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

PF. Condizione: New. Codice articolo 6666-IUK-9783540126935

Contatta il venditore

Compra nuovo

EUR 56,20
Convertire valuta
Spese di spedizione: EUR 17,73
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Vedi altre 8 copie di questo libro

Vedi tutti i risultati per questo libro