james thatcher (23 Ergebnisse)

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

Hardcover. Zustand: New. In shrink wrap.

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. 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.

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 text is legible. 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.

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.

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.

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.

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

X, 225 Seiten, 0306307073 Sprache: Englisch Gewicht in Gramm: 510 Groß 8°, Original-Pappband (Hardcover), Bibliotheks-Exemplar mit leichten Rückständen vom Rückenschild, Stempel auf Vorsatz, Titel, Schnitt und innen, insgesamt gutes und innen sauberes Exemplar, (library copy in good condition),

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.

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. 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.

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".

Color photograph of Big Ben Tower, signed by six BritishÂprimeÂministers: Edward Heath, Margaret Thatcher, James Callaghan, John Major and Tony Blair. In fine condition. The photograph measures 8 inches by 10 inches. Double matted and framed. The entire piece measures 14.25 inches by 16.25 inches. A rare and desirable piece of history. Big Ben is the nickname for the Great Bell of the clock at the north end of the Palace of Westminster in London and is usually extended to refer to both the clock and the clock tower. The tower is officially Elizabeth Tower, renamed to celebrate the Diamond Jubilee of Elizabeth II in 2012; before that, it was known simply as the Clock Tower. The tower was designed by Augustus Pugin in a neo-gothic style. When completed in 1859, it was, says horologist Ian Westworth, "the prince of timekeepers: the biggest, most accurate four-faced striking and chiming clock in the world".[4] It stands 315 feet (96 m) tall, and the climb from ground level to the belfry is 334 steps. Its base is square, measuring 39 feet (12 m) on each side. Dials of the clock are 23 feet (7.0 m) in diameter. On 31 May 2009, celebrations were held to mark the tower's 150th anniversary. Big Ben is the largest of six bells and weighs 13 1â2 long tons (13.7 tonnes; 15.1 short tons). It was the largest bell in the United Kingdom for 23 years. The origin of the bell's nickname is open to question; it may be named after Sir Benjamin Hall, who oversaw its installation, or boxing heavyweight champion Benjamin Caunt. Four quarter bells chime at 15, 30 and 45 minutes past the hour and just before Big Ben tolls on the hour. The clock uses its original Victorian mechanism, but an electric motor can be used as a backup. A British cultural icon, recognized all over the world, the tower is one of the most prominent symbols of the United Kingdom and parliamentary democracy, and it is often used in the establishing shot of films set in London. The clock tower has been part of a Grade I listed building since 1970 and a UNESCO World Heritage Site since 1987.