thatcher james (31 Ergebnisse)

Zustand: Good. 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.

Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

No Binding. Zustand: Good. ORIGINAL articles, disbound from journal; no covers; small chips along gutter where disbound; o/w in good condition. Journal.

Zustand: New. In.

Hardcover. Zustand: Good. First Long Pocket Edition without Jacket on green cloth - collectable - will send out 1 st class post.

Broschiert. Zustand: 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: Englisch Gewicht in Gramm: 740.

Hard. Zustand: Near Fine. Zustand des Schutzumschlags: Very Good. Profusely Illustrated (illustrator). 1st. First edition. Hard cover in dust jacket. Published NY: Harper & Row, 1980, first printing. Square 4to., 10 1/4" x 10 1/4", 299pp., illustrated with over 300 detailed drawings. Black cloth with foil stamped spine titles. Near fine in very good dust jacket.

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.

Zustand: 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. Zustand: Very Good. First Edition. Publication of 170 pages. The wraps are a little shelf rubbed and a touch edge worn. Internally the pages are clean and complete. The binding is excellent. GK. Our orders are shipped using tracked courier delivery services.

Paperback. Zustand: Very Good. First Edition. shelf wear on the wraps. highlighting in text. all pages are intact and presentable. good copy. [SK]. Our orders are shipped using tracked courier delivery services.

Zustand: New. In.

Zustand: New. In.

Couverture rigide. Zustand: bon. RO60124313: 1985. In-12. Relié. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 64 pages. . . . Classification Dewey : 420-Langue anglaise. Anglo-saxon.

paperback. Zustand: 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.

Paperback. Zustand: Brand New. 488 pages. 8.30x5.50x1.20 inches. In Stock.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. In.

Paperback. Zustand: Brand New. 1st edition. 180 pages. 10.00x7.00x0.25 inches. In Stock.

Zustand: New. KlappentextrnrnMany of the earliest books, particularly those dating back to the 1900s and before, are now extremely scarce and increasingly expensive. We are republishing these classic works in affordable, high quality, modern editions, using t.

Hardcover. Zustand: Brand New. 3rd edition. 539 pages. 9.00x6.50x1.50 inches. In Stock.

Taschenbuch. Zustand: 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 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.

Taschenbuch. Zustand: Neu. Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 | Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) | Hartmut Ehrig (u. a.) | Taschenbuch | xviii | Englisch | 1985 | Springer | EAN 9783540151982 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: 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 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.

Paperback/ broschiert. Zustand: Wie neu. 455 S. Computerwissenschaften Befriedigender Zustand Ex-Library. Stamped edges. Brownish paper. ha1088554 Sprache: Englisch Gewicht in Gramm: 1050.

Taschenbuch. Zustand: Neu. Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 | Volume 2: Colloquium on Software Engineering (CSE) | Hartmut Ehrig (u. a.) | Taschenbuch | xvii | Englisch | 1985 | Springer | EAN 9783540151999 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Hardcover. Zustand: Very Good. First Edition. First Edition, First Printing. Not price-clipped (original $1.25 on spine label). Published by Marsh, Capen & Lyon, 1832. Octavo. Hardcover; publisher's original brown cloth. Fold out map on page 1 present. Book is very good with shelf/edgewear, previous owner name on title page, light spotting to page ends and frontis of "New Church" present, but loose/sepatated. An excellent copy of this prolific 19th century history title.100% positive feedback. 30 day money back guarantee. NEXT DAY SHIPPING! Excellent customer service. Please email with any questions. All books packed carefully and ship with free delivery confirmation/tracking. All books come with free bookmarks. Ships from Sag Harbor, New York.

Hardcover. First Edition. Octavo, xi, [1], 301, [1] pages with one color plate. In Good condition. Bound in brown calf with label and gilt lettering and ruling to spine. Minor bumping and rubbing to edges and corners of boards and some discoloration of leather, particularly at spine. Chipping to leather at head of spine. Text block age toned and foxed. Previous owner's name to second front free endpaper and pencil annotations to rear pastedown. One color plate between pages 214 and 215. An ex-library copy with usual markings, including bookplate, presentation inscription, library stamps to several pages (including title page and verso of plate). MF Consignment. Shelved in Upstairs Hall. 1355636. Special Collections.

Rare colored engraving signed by 8 former British Prime Ministers including Margaret Thatcher and Tony Blair. One page, a fine colored engraving of the New Houses of Parliament signed on the mount by Tony Blair, Gordon Brown, James Callaghan, David Cameron, Edward Heath, John Major, Theresa May, and Margaret Thatcher. In fine condition. Double matted and framed. The entire piece measures 15 inches by 12.25 inches.

Black and white photograph of the 10 Downing Street doorway, signed by six BritishÂprimeÂministers: Edward Heath, Margaret Thatcher, James Callaghan, John Major, Tony Blair and Gordon Brown. In fine condition. The photograph measures 8 inches by 10 inches. Double matted and framed. The entire piece measures 15 inches by 17 inches. A rare and desirable piece of history. 10 Downing Street is the official residence of the post of the First Lord of the Treasury, which for most of the 1700 and 1800's and continuously since 1905 is a position that has been held by the Prime Minister. It has, therefore, become the location of the United Kingdom's headquarters, containing both office, living, and entertaining space for government officials. The house contains over 100 rooms and was the combination of three houses put together. It's proximity to Buckingham Palace and the Palace of Westminster made it an ideal location out of which to live and work. Margaret Thatcher said that Number 10 had become "one of the most precious jewels in the national heritage".