Lectures on the Logic of Computer Programming (Cbms-Nsf Regional Conference Series in Applied Mathematics, 31) - Softcover
Inhaltsangabe
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Lectures on the Logic of Computer Programming (Cbms-Nsf...
Beispielbild für diese ISBN
Lectures on the Logic of Computer Programming
Verlag:
Society for Industrial and Applied Mathematics, 1980
ISBN 10: 0898711649
ISBN 13: 9780898711646
Gebraucht
Softcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1980. Tome 31. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritativ ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Slight signs of wear on the cover. Stains on the edge. Edition 1980. Volume 31. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-566-783
Gebraucht kaufen
EUR 5,55
EUR 16,50 Versand
Versand von Frankreich nach USA
Versand von Frankreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Lectures on the Logic of Computer Programming
Verlag:
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Neu
Softcover
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 1214136-n
Neu kaufen
EUR 48,79
EUR 2,31 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Lectures on the Logic of Computer Programming
Verlag:
Society for Industrial and Applied Mathematics,U.S., US, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Neu
Paperback
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification. Bestandsnummer des Verkäufers LU-9780898711646
Neu kaufen
EUR 51,18
Versand gratis
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Lectures on the Logic of Computer Programming
Verlag:
MP-SIA SIAM - Society for Industrial and Applied M, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Neu
PAP
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers FW-9780898711646
Neu kaufen
EUR 47,37
EUR 3,86 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Lectures on the Logic of Computer Programming
Verlag:
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Gebraucht
Softcover
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 1214136
Gebraucht kaufen
EUR 51,42
EUR 2,31 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Verlag:
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Neu
Softcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 1987. paperback. . . . . . Bestandsnummer des Verkäufers V9780898711646
Neu kaufen
EUR 50,48
EUR 10,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Lectures on the Logic of Computer Programming
Verlag:
Society for Industrial & Applied, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Neu
Paperback
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 49 pages. 10.00x7.00x0.25 inches. In Stock. Bestandsnummer des Verkäufers __0898711649
Neu kaufen
EUR 49,32
EUR 11,74 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Lectures on the Logic of Computer Programming
Verlag:
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Neu
Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 1214136-n
Neu kaufen
EUR 47,91
EUR 17,61 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Lectures on the Logic of Computer Programming
Verlag:
Society for Industrial & Applied Mathematics,U.S., 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Neu
Paperback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. New copy - Usually dispatched within 4 working days. Bestandsnummer des Verkäufers B9780898711646
Neu kaufen
EUR 56,10
EUR 14,38 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Verlag:
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Neu
Softcover
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 1987. paperback. . . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9780898711646
Neu kaufen
EUR 62,68
EUR 9,21 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar