Lectures logic computer programming von manna zohar (9 Ergebnisse)
Sprache: Englisch
Verlag: Society for Industrial and Applied Mathematics, 1980
- Softcover
Anbieter: Ammareal, Morangis, FrankreichAmmareal
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 6,17
EUR 16,50 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
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. F…ormer 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.
Sprache: Englisch
Verlag: Society for Industrial and Applied Mathematics,U.S., US, 1987
- Softcover
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes KönigreichRarewaves.com USA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,89
Versand gratisVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
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 co…rrect 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.
Sprache: Englisch
Verlag: MP-SIA SIAM - Society for Industrial and Applied M, 1987
- Softcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 47,16
EUR 3,84 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 45,35
EUR 11,69 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 49 pages. 10.00x7.00x0.25 inches. In Stock.
Sprache: Englisch
Verlag: Society for Industrial and Applied Mathematics, 1987
- Softcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,48
EUR 9,50 VersandVersand von Irland nach USAAnzahl: 1 verfügbar
Zustand: New. 1987. paperback. . . . . .
Sprache: Englisch
Verlag: Society for Industrial and Applied Mathematics, 1987
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,72
EUR 9,07 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. 1987. paperback. . . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Society for Industrial & Applied Mathematics,U.S., 1987
- Softcover
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes KönigreichTHE SAINT BOOKSTORE
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 55,85
EUR 14,32 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: New. New copy - Usually dispatched within 4 working days.
Sprache: Englisch
Verlag: Society for Industrial and Applied Mathematics, 1987
- Softcover
Anbieter: SHIMEDIA, Brooklyn, NY, USASHIMEDIA
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 115,60
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. Satisfaction Guaranteed or your money back.
Sprache: Englisch
Verlag: Society for Industrial and Applied Mathematics,U.S., US, 1987
- Softcover
Anbieter: Rarewaves.com UK, London, Vereinigtes KönigreichRarewaves.com UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 49,33
EUR 75,96 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
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 co…rrect 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.
