Thatcher Maurice (37 results)
Language: English
Published by The Filson Club, Louisville
- Softcover
Seller: Legacy Books, Louisville, KY, U.S.A.Legacy Books
Contact seller4-star sellerSoft cover. Condition: Good. pp111-116. Removed from THE FILSON CLUB HISTORY QUARTERLY, Vol 23, No. 2, April, 1949. G. In report covers. May include a first or last copied page. Originally built as a toll bridge in 1929, carrying US Highway 31 traffic over the Ohio River from Louisville, Kentucky to Jeffersonville, Indiana, the…bridge was named the Louisville Municipal Bridge. In 1949, it was officially re-named the George Rogers Clark Memorial Bridge, but it is still often referred to as the Second Street Bridge by Louisvillians.
- Hardcover
- First Edition
Seller: Cat's Cradle Books, Archdale, NC, U.S.A.Cat's Cradle Books
Contact seller5-star sellerCondition: Used
£ 15.21
Free ShippingShips within U.S.A.Quantity: 1 available
Hard Cover. Condition: Very Good with no dust jacket. First Edition. First Edition. A sound, tight, square copy, bound in blue paper-covered boards; tiny indentation in last 14 leaves, o/w text is clean, crisp, and unmarked, with no creased or torn pages; binding clean and unmarked, with only light wear, including a small, shall…ow ding in bottom front extremity; dust jacket shows rubbing, edge wear, a few short tears, light soiling to rear. An anthology of the poetry of Kentucky Governor Maurice Hudson Thatcher, who died in 1973 at the age of 102 following 80 years of public service. 9.25" tall; 215 pages.
- Hardcover
- First Edition
Seller: COLLINS BOOKS, Seattle, WA, U.S.A.COLLINS BOOKS
Contact seller5-star sellerAssociation member: CBA
Condition: Used
£ 11.41
£ 5.16 shippingShips within U.S.A.Quantity: 1 available
HARDCOVER. Condition: very good in worn dustwrapper. Dust Jacket Condition: good. First edition. 215pp octavo hardbound.
Language: English
Published by Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985
- Softcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
£ 13.16
£ 13.63 shippingShips from Germany to U.S.A.Quantity: 2 available
Broschiert. Condition: Gut. XIV, 455 Seiten : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englis…ch Gewicht in Gramm: 740.
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 28.13
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Published by Robert Seller & Sons, 1974, 1974
- Hardcover
- First Edition
Seller: Pepper's Old Books, Hanson, KY, U.S.A.Pepper's Old Books
Contact seller1-star sellerHardcover. Condition: Good. Dust Jacket Condition: Fair. First Edition. Hard Cover. First Edition. C 1974 Good with DJ and 1st Edition (He was a Governor and wrote a lot about Kentucky--He lived to be 102).
- Softcover
- First Edition
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
£ 31.85
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. 1st Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
£ 32.10
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: Gerald Wollermann, Bad Vilbel, GermanyGerald Wollermann
Contact seller5-star sellerCondition: Used - Very good
£ 7.43
£ 29.89 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Gut. 1985. 436 Seiten Gedunkelt. Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Warensendung mit der Post oder per DHL. Rechnung mit MwSt.-Ausweis liegt jeder Lieferung bei. Sprache: Englisch Gewicht in Gramm: 658 Taschenbuch, Größe: 15.5 x 2.5 x 23.5 cm.
- Softcover
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.Midtown Scholar Bookstore
Contact seller5-star sellerCondition: Used - Good
£ 33.79
£ 4.43 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. number 185 Good paperback, bumped/creased with shelfwear; may have previous owner's name inside. Standard-sized.
Formal Methods and Software Development TAP soft. Proceedings of the International Joint Converence on Theory and Practice of Software Development Vol. 2: Colloquium on Software Engineering CSE (Lecture Notes in Computer Science Vol. 186)
Ehrig, Helmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James
- Softcover
Seller: Paderbuch e.Kfm. Inh. Ralf R. Eichmann, Bad Lippspringe, NRW, GermanyPaderbuch e.Kfm. Inh. Ralf R. Eichmann
Contact seller5-star sellerCondition: Used - Very good
£ 26.40
£ 21.36 shippingShips from Germany to U.S.A.Quantity: 1 available
paperback. Condition: Good. Hartmut Ehrig, Christiane Floyd, Maurice Nivat and James Thatcher (ed.): Formal Methods and Software Development TAP soft. Proceedings of the International Joint Converence on Theory and Practice of Software Development Vol. 2: Colloquium on Software Engineering CSE (Lecture Notes in Computer Science…Vol. 186). Springer Verlag, Berlin 1985. Broschur, 455 Seiten; etwas gewellt, sonst ordentlicher Zustand. - Text nur in Englisch / English only.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 49.74
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 41.58
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 38.50
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermanyRoland Antiquariat UG haftungsbeschränkt
Contact seller5-star sellerCondition: Used
£ 24.11
£ 35.88 shippingShips from Germany to U.S.A.Quantity: 1 available
1985. 436 p. Good condition. Reading pages are slightly yellowed, but they are very clean and without marks. Minimal traces of storage or use. Otherwise very good exemplar. 9783540151982 Sprache: Englisch Gewicht in Gramm: 658 Softcover: 15.5 x 2.5 x 23.5 cm.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 48.75
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 45.88
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 65.15
£ 2.95 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 476.
- Hardcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 33.13
£ 41.86 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Gebunden. Condition: New. KlappentextThis work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original w.
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 41.86
£ 53.46 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. Neuware - This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright referenc…es, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 43.20
£ 54.07 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Specification and top down design of distributed systems.- Specification languages for distributed systems.- Semantically based programming tools (Summary).- From function level semantics to program transformation and optimization.- Inductively def…ined functions.- Three approaches to type structure.- On the maximum size of random trees.- Fast searching in a real algebraic manifold with applications to geometric complexity.- Typed categorical combinatory logic.- A path ordering for proving termination of term rewriting systems.- A rewrite rule based approach for synthesizing abstract data types.- 'Delayability' in proofs of strong normalizability in the typed lambda Calculus.- Bisimulations and abstraction homomorphisms.- A metric characterization of fair computations in CCS.- A complete modal proof system for a subset of SCCS.- Amalgamation of graph transformations with applications to synchronization.- Decompilation of control structures by means of graph transformations.- Synchronized bottom-up tree automata and L-systems.- On observational equivalence and algebraic specification.- Parameter preserving data type specifications.- On the parameterized algebraic specification of concurrent systems.- The semantics of shared submodules specifications.- Why Horn formulas matter in computer science: Initial structures and generic examples.- On the implementation of abstract data types by programming language constructs.- A LISP compiler for FP language and its proof via algebraic semantics.
- Softcover
Seller: ralfs-buecherkiste, Herzfelde, MOL, Germanyralfs-buecherkiste
Contact seller5-star sellerCondition: Used - Very good
£ 8.80
£ 89.71 shippingShips from Germany to U.S.A.Quantity: 1 available
Paperback/ broschiert. Condition: Gut. 455 S. Computerwissenschaften Befriedigender Zustand Ex-Library. Stamped edges. Brownish paper. ha1088554 Sprache: Englisch Gewicht in Gramm: 1050.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 49.91
£ 54.32 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - On the relevance of formal methods to software development.- Combining algebraic and predicative specifications in Larch.- The role of proof obligations in software design.- Functional semantics of modules.- Intuition in software development.- A ra…tional design process: How and why to fake it.- Formalization in systems development.- Specifying and prototyping: Some thoughts on why they are successful.- A formal specification of line representations on graphics devices.- Experiences with the PSG - Programming System Generator.- Software construction using typed fragments.- Graph grammar engineering: A method used for the development of an integrated programming support environment.- Multidimensional tree-structured file spaces.- A theory of abstract data types for program development: Bridging the gap .- Program development and documentation by informal transformations and derivations.- ASSPEGIQUE: An integrated environment for algebraic specifications.- Application of PROLOG to test sets generation from algebraic specifications.- A PROLOG environment for developing and reasoning about data types.- Algebraic specification of synchronisation and errors: A telephonic example.- Modelling concurrent modules.- Synthesis of parallel programs invariants.- Analyzing safety and fault tolerance using Time Petri nets.- Algebraic specification of a communication scheduler.- The integration and distribution phase in the software life cycle.- Formalized software development in an industrial environment.- Object oriented concurrent programming and industrial software production.- Experience of introducing the Vienna development method into an industrial organisation.- EDP system development methodology: Auditability and control.- Experiences with object oriented programming.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - Very good
£ 86.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - Very good
£ 91.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
- Hardcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 25.44
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 240.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 37.65
£ 19.65 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Specification and top down design of distributed systems.- Specification languages for distributed systems.- Semantically based programming tools (Summary).- From function level semantics to program transformation and optimization.-… Inductively defined functions.- Three approaches to type structure.- On the maximum size of random trees.- Fast searching in a real algebraic manifold with applications to geometric complexity.- Typed categorical combinatory logic.- A path ordering for proving termination of term rewriting systems.- A rewrite rule based approach for synthesizing abstract data types.- ¿Delayability¿ in proofs of strong normalizability in the typed lambda Calculus.- Bisimulations and abstraction homomorphisms.- A metric characterization of fair computations in CCS.- A complete modal proof system for a subset of SCCS.- Amalgamation of graph transformations with applications to synchronization.- Decompilation of control structures by means of graph transformations.- Synchronized bottom-up tree automata and L-systems.- On observational equivalence and algebraic specification.- Parameter preserving data type specifications.- On the parameterized algebraic specification of concurrent systems.- The semantics of shared submodules specifications.- Why Horn formulas matter in computer science: Initial structures and generic examples.- On the implementation of abstract data types by programming language constructs.- A LISP compiler for FP language and its proof via algebraic semantics. 436 pp. Englisch.
More images- Hardcover
- Print on Demand
Seller: Gyan Books Pvt. Ltd., Delhi, IndiaGyan Books Pvt. Ltd.
Contact seller5-star sellerCondition: New
£ 29.68
Free ShippingShips from India to U.S.A.Quantity: Over 20 available
Add to basketLeather Bound. Condition: New. Language: English. Language: English. Presenting an Exquisite Leather-Bound Edition, expertly crafted with Original Natural Leather that gracefully adorns the spine and corners. The allure continues with Golden Leaf Printing that adds a touch of elegance, while Hand Embossing on the rounded spine l…ends an artistic flair. This masterpiece has been meticulously reprinted in 2024, utilizing the invaluable guidance of the original edition published many years ago in 1916. The contents of this book are presented in classic black and white. Its durability is ensured through a meticulous sewing binding technique, enhancing its longevity. Imprinted on top-tier quality paper. A team of professionals has expertly processed each page, delicately preserving its content without alteration. Due to the vintage nature of these books, every page has been manually restored for legibility. However, in certain instances, occasional blurriness, missing segments, or faint black spots might persist. We sincerely hope for your understanding of the challenges we faced with these books. Recognizing their significance for readers seeking insight into our historical treasure, we've diligently restored and reissued them. Our intention is to offer this valuable resource once again. We eagerly await your feedback, hoping that you'll find it appealing and will generously share your thoughts and recommendations. Lang: - English, Pages: : - 242, Print on Demand. If it is a multi-volume set, then it is only a single volume. We are specialised in Customisation of books, if you wish to opt different color leather binding, you may contact us. This service is chargeable. Product Disclaimer: Kindly be informed that, owing to the inherent nature of leather as a natural material, minor discolorations or textural variations may be perceptible. Explore the FOLIO EDITION (12x19 Inches): Available Upon Request. 242 242.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 44.25
£ 19.65 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On the relevance of formal methods to software development.- Combining algebraic and predicative specifications in Larch.- The role of proof obligations in software design.- Functional semantics of modules.- Intuition in software de…velopment.- A rational design process: How and why to fake it.- Formalization in systems development.- Specifying and prototyping: Some thoughts on why they are successful.- A formal specification of line representations on graphics devices.- Experiences with the PSG ¿ Programming System Generator.- Software construction using typed fragments.- Graph grammar engineering: A method used for the development of an integrated programming support environment.- Multidimensional tree-structured file spaces.- A theory of abstract data types for program development: Bridging the gap .- Program development and documentation by informal transformations and derivations.- ASSPEGIQUE: An integrated environment for algebraic specifications.- Application of PROLOG to test sets generation from algebraic specifications.- A PROLOG environment for developing and reasoning about data types.- Algebraic specification of synchronisation and errors: A telephonic example.- Modelling concurrent modules.- Synthesis of parallel programs invariants.- Analyzing safety and fault tolerance using Time Petri nets.- Algebraic specification of a communication scheduler.- The integration and distribution phase in the software life cycle.- Formalized software development in an industrial environment.- Object oriented concurrent programming and industrial software production.- Experience of introducing the Vienna development method into an industrial organisation.- EDP system development methodology: Auditability and control.- Experiences with object oriented programming. 476 pp. Englisch.
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 64.25
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 476 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
