Gesamtpreis (1 Artikel Artikel):
Versandziel:
thatcher james (37 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (37)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (13)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (3)
- Gut oder Befriedigend (15)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (6)
Weitere Eigenschaften
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Hardcover. Zustand: Very Good. 3. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
-
The Compensation Committee Handbook
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
The Compensation Committee Handbook
Sprache: Englisch
Verlag: Wiley & Sons, Incorporated, John, 2007
ISBN 10: 0470171316 ISBN 13: 9780470171318
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
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. 2. With dust jacket. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
-
Compensation Committee Handbook
Sprache: Englisch
Verlag: Wiley & Sons, Incorporated, John, 2004
ISBN 10: 0471647691 ISBN 13: 9780471647690
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Fine. Used book that is in almost brand-new condition. May contain a remainder mark. Better World Books: Buy Books. Do Good.
-
To Love Me or Not: Global Logistics Haikus Views from the inside
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 8,57
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Wine Drinker's Notebook
Anbieter: The Guru Bookshop, Hereford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 14,34
EUR 13,92 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. First Long Pocket Edition without Jacket on green cloth - collectable - will send out 1 st class post.
-
The American House
Anbieter: The Wild Muse, Granville, NY, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
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.
-
Formal methods and software development: Proceedings of TAPSOFT 1985 - Berlin / Volume 2: Colloquium on Software Engineering (CSE). Lecture notes in computer science ; Volume 186
Sprache: Englisch
Verlag: Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
Formal Methods and Software Development Vol. 2 : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 1985 - Colloquium on Software Engineering (CSE)
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Mathematical Foundations of Software Development - Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 1985 Vol. 1 : Colloquium on Trees in Algebra and Programming (CAAP'85)
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Zustand: 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.
-
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development . Notes in Computer Science, 185, Band 185)
Anbieter: Gerald Wollermann, Bad Vilbel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
South Africa at Work: Applying Psychology to Organiations
Sprache: Englisch
Verlag: Witwatersrand University Press, 2003
ISBN 10: 1868143813 ISBN 13: 9781868143818
Anbieter: Chapter 1, Johannesburg, GAU, Südafrika
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
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.
-
South Africa at Work: Applying Psychology to Organiations
Sprache: Englisch
Verlag: Witwatersrand University Press, 2003
ISBN 10: 1868143813 ISBN 13: 9781868143818
Anbieter: Chapter 1, Johannesburg, GAU, Südafrika
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
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.
-
A Military Journal During the American Revolutionary War, from 1775 to 1783 - Describing Interesting Events and Transactions of This Period; With Nu
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 34,54
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... (Lecture Notes in Computer Science, 185)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 49,68
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
THE WINE DRINKER'S NOTEBOOK
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.
-
EUR 14,49
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
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)
Anbieter: Paderbuch e.Kfm. Inh. Ralf R. Eichmann, Bad Lippspringe, NRW, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
A Military Journal During the American Revolutionary War, from 1775 to 1783: Describing Interesting Events and Transactions of This Period; With Numerous Historical Facts and Anecdotes, from the Original Manuscript
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,63
EUR 14,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 488 pages. 8.30x5.50x1.20 inches. In Stock.
-
Compensation Committee Handbook
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
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.
-
Complexity of Computer Computations. Proceedings of a Symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Research Center. (= The IBM Research Symposia Series).
Sprache: Englisch
Verlag: Plenum Press, New York and London, 1972
ISBN 10: 0306307073 ISBN 13: 9780306307072
Anbieter: Antiquariat Silvanus - Inhaber Johannes Schaefer, Ahrbrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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),
-
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development . Notes in Computer Science, 185, Band 185)
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (Lecture Notes in Computer Science, 186)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,24
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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)
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
The Compensation Committee Handbook
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 95,94
EUR 14,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 3rd edition. 539 pages. 9.00x6.50x1.50 inches. In Stock.
-
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.
-
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)
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
Formal Methods and Software Development. Proceedings of the Intern. Joint Conference on Theory and Practice of Software Development; Vol. 2. (=Lecture Notes in Computer Science; 186).
Anbieter: ralfs-buecherkiste, Herzfelde, MOL, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Paperback/ broschiert. Zustand: Gut. 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.
