Synopsis
Warum kommt kein Programmierer ohne Kenntnisse in Mathematik und Logik aus? Dieses Buch zeigt es Ihnen eindrucksvoll, verzichtet dabei auf übermäßig komplizierte theoretische Herleitungen und motiviert Sie damit zum Weiterdenken.
- illustriert die Bedeutung der Mathematik und der Logik für die Programmierung; gibt einen kompletten Überblick über die Prinzipien des logischen Schließens
- geht detailliert auf Prinzipien der Programmkonstruktion ein
- ausgewogene Kombination aus mathematischer Theorie und Programmierpraxis
- überarbeitete Fassung des Buches "Program Construction and Verification" (1986) desselben Autors, welches von zahlreichen Lehrstühlen für Informatik empfohlen wurde
- hervorragend zum Selbststudium geeignet
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Roland Backhouse leads the Foundations of Programming research group at the University of Nottingham. He returned to the UK in 1999 after spending 13 years in the Netherlands, 9 of which as professor at Eindhoven University of Technology (the institution that pioneered the style of reasoning and construction of programs that forms the basis for this book).
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Program Construction: Calculating Implementations from...
Image d'archives
Program Construction: Calculating Implementations from Specifications
Edité par
Wiley, 2003
ISBN 10 : 0470848820
ISBN 13 : 9780470848821
Ancien ou d'occasion
paperback
Edition originale
Vendeur : One Planet Books, Columbia, MO, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
paperback. Etat : Good. 1st Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing and/or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). N° de réf. du vendeur 006050176U
Acheter D'occasion
EUR 8,86
Expédition à EUR 3,43
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Program Construction : Calculating Implementations from Specifications
Edité par
Wiley & Sons, Incorporated, John, 2003
ISBN 10 : 0470848820
ISBN 13 : 9780470848821
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. N° de réf. du vendeur GRP26203561
Acheter D'occasion
EUR 5,63
Expédition à EUR 9,22
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Program Construction : Calculating Implementations from Specifications
Edité par
Wiley & Sons, Incorporated, John, 2003
ISBN 10 : 0470848820
ISBN 13 : 9780470848821
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Ships from the UK. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 53475721-20
Acheter D'occasion
EUR 5,63
Expédition à EUR 9,22
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Program Construction: Calculating Implementations from Specifications
Edité par
Wiley, 2003
ISBN 10 : 0470848820
ISBN 13 : 9780470848821
Neuf
Soft cover
Edition originale
Vendeur : BooksByLisa, Highland Park, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Soft cover. Etat : New. First Edition. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book. N° de réf. du vendeur 628
Acheter neuf
EUR 15,92
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Program Construction: Calculating Implementations from Specifications
Edité par
John Wiley & Sons, 2003
ISBN 10 : 0470848820
ISBN 13 : 9780470848821
Ancien ou d'occasion
Couverture souple
Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Signed by Author(Unverified). N° de réf. du vendeur wbs2326684635
Acheter D'occasion
EUR 16,13
Expédition à EUR 9
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Program Construction: Calculating Implementations from Specifications
Vendeur : Sell Books, Elland, YORKS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Good. Our good condition books are generally good for reading but not for gifting or collecting. They could have imperfections such as creasing, fanning, inscriptions, margin notes, yellowing, staining on edge or cover or pages, bumps, scuffs, etc etc (sometimes multiple of these). It's a wide category that encompasses anything that isn't almost-new down to anything that is slightly better than poor. We would NOT recommend gifting Good books - these should be considered reading copies. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only. N° de réf. du vendeur P-BNQ00390-RAG-20250214-G
Acheter D'occasion
EUR 16,33
Expédition à EUR 14
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Program Construction: Calculating Implementations from Specifications
Vendeur : GoldBooks, Denver, CO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. N° de réf. du vendeur 95R66_42_0470848820
Acheter neuf
EUR 27,23
Expédition à EUR 3,65
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Program Construction: Calculating Implementations from Specifications
Vendeur : Textbooks_Source, Columbia, MO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : New. 1st Edition. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). N° de réf. du vendeur 006050176N
Acheter neuf
EUR 27,83
Expédition à EUR 3,43
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Program Construction: Calculating Implementations from Specifications
Edité par
Wiley, 2003
ISBN 10 : 0470848820
ISBN 13 : 9780470848821
Ancien ou d'occasion
paperback
Edition originale
Vendeur : Textbooks_Source, Columbia, MO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Good. 1st Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). N° de réf. du vendeur 006050176U
Acheter D'occasion
EUR 27,83
Expédition à EUR 3,43
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Program Construction: Calculating Implementations from Specifications
Vendeur : Solr Books, Lincolnwood, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. N° de réf. du vendeur BCV.0470848820.N
Acheter neuf
EUR 27,83
Expédition à EUR 6,86
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)