Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Sprache: Englisch
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: 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.
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
EUR 6,58
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Verlag: Springer Berlin Heidelberg, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,77
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: California Books, Miami, FL, USA
EUR 64,75
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 66,12
Währung umrechnenAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: GuthrieBooks, Spring Branch, TX, USA
EUR 45,13
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. 0387126937 Ex-library paperback in very nice condition with the usual markings and attachments.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 51,76
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 114,81
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Very Good. book.