Items related to The IOTA Programming System: A Modular Programming...

The IOTA Programming System: A Modular Programming Environment: 160 (Lecture Notes in Computer Science, 160) - Softcover

 
9783540126935: The IOTA Programming System: A Modular Programming Environment: 160 (Lecture Notes in Computer Science, 160)

Synopsis

The IOTA Programming System: A Modular Programming Environment (Lecture Notes in Computer Science)

"synopsis" may belong to another edition of this title.

Buy Used

Condition: Near Fine
Ancien livre de bibliothèque. Livre...
View this item

£ 6.87 shipping from France to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9780387126937: Iota Programming System: A Modular Programming Environment (Lecture Notes in Computer Science, 160)

Featured Edition

ISBN 10:  0387126937 ISBN 13:  9780387126937
Publisher: Springer-Verlag
Softcover

Search results for The IOTA Programming System: A Modular Programming...

Stock Image

R. Nakajima et T. Yuasa
ISBN 10: 3540126937 ISBN 13: 9783540126935
Used Softcover

Seller: Ammareal, Morangis, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Softcover. Condition: 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. Seller Inventory # E-596-349

Contact seller

Buy Used

£ 3.85
Convert currency
Shipping: £ 6.87
From France to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Nakajima, R., Yuasa, T.
Published by Springer-Verlag, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Used Softcover

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

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: 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. Seller Inventory # ZB885239

Contact seller

Buy Used

£ 5.64
Convert currency
Shipping: £ 13.11
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540126935_new

Contact seller

Buy New

£ 50.82
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Nakajima, R.
Published by Springer 1983-10, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783540126935

Contact seller

Buy New

£ 55.28
Convert currency
Shipping: £ 2.49
Within United Kingdom
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

T. Yuasa
Published by Springer Berlin Heidelberg, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: 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. Seller Inventory # 9783540126935

Contact seller

Buy New

£ 47.29
Convert currency
Shipping: £ 12.01
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
New Softcover

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

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783540126935

Contact seller

Buy New

£ 55.51
Convert currency
Shipping: £ 7.28
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Nakajima, R.|Yuasa, Taiichi
Published by Springer Berlin Heidelberg, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Seller Inventory # 4881899

Contact seller

Buy New

£ 42.76
Convert currency
Shipping: £ 21.45
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

T. Yuasa
ISBN 10: 3540126937 ISBN 13: 9783540126935
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: 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. Seller Inventory # 9783540126935

Contact seller

Buy New

£ 56.76
Convert currency
Shipping: £ 9.44
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Print on Demand pp. 232 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5829777

Contact seller

Buy New

£ 67.02
Convert currency
Shipping: £ 3.35
Within United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Published by Springer, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 232. Seller Inventory # 263099470

Contact seller

Buy New

£ 64.73
Convert currency
Shipping: £ 6.55
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

There are 5 more copies of this book

View all search results for this book