Product Type
Condition
Binding
Collectible Attributes
Seller Location
Seller Rating
Published by Prentice-Hall, 1988
ISBN 10: 0137304099ISBN 13: 9780137304097
Seller: Ammareal, Morangis, France
Book
Softcover. Condition: Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Slight signs of wear on the cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations.
Published by Prentice-Hall, 1988
ISBN 10: 0137304099ISBN 13: 9780137304097
Seller: Ammareal, Morangis, France
Book
Softcover. Condition: Bon. Ancien livre de bibliothèque. Traces de pliures sur la couverture. Traces d'usure sur la couverture. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Traces of creases on the cover. Signs of wear on the cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations.
Published by Prentice-Hall, 1988
ISBN 10: 0137304099ISBN 13: 9780137304097
Seller: Ammareal, Morangis, France
Book
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations.
Published by Prentice-Hall:, 1988
ISBN 10: 013730417XISBN 13: 9780137304172
Seller: PASCALE'S BOOKS, NORTH READING, MA, U.S.A.
Book
Hard Cover. Condition: Fine-. The first printing, 255 pages. "This book is divided into three parts. Part I, Proving Programs Correct, illustated the use of Floyd-Hoare logic for specifying and varifying programs; techniques for mechanizing program varification are explained. Part II, The Lambda-Caluculus and Combinators, describes the theory underlying functional languages and their implementation. Part II, Implementing the Theories, contains detailed descriptions of working programs which illustrate the material described in Parts I and II. Also included is a complete program verifier, based on a simple re-writing engine, and a tool kit for experimenting with implemetnation techniques for functional languages." FINE- HARDCOVER. Size: 8vo - over 7¾" - 9¾" tall.
Published by Prentice Hall, 1993
ISBN 10: 0137304099ISBN 13: 9780137304097
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
paperback. Condition: Very Good. Very Good. book.
Published by Prentice Hall
ISBN 10: 0137304099ISBN 13: 9780137304097
Seller: Book Deals, Tucson, AZ, U.S.A.
Book
Condition: Very Good. Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any).
Published by Prentice-Hall, 1988
ISBN 10: 013730417XISBN 13: 9780137304172
Seller: dsmbooks, Liverpool, United Kingdom
Book
paperback. Condition: Like New. Like New. book.