Floyd christiane (83 resultados)

Hardcover. Condición: Fine. Leichte Kratzer / Abnutzungen / Druckstellen; Leichte Verschmutzung / Farbtonveränderung. Technology is fundamental to every product-based business in reducing costs, differentiating products, providing new opportunities, and driving strategic change. This work sets out to answer the key questions which confront top how to decide which technologies to invest in and how to manage and exploit them for maximum commercial benefit; how much to invest in R&D and to measure whether it delivers the goods; how to shape management roles, corporate structure and culture to fit technology strategy; and how to gain both employee and shareholder commitment. This text explores these and other key issues in an accessible, non-technical way, providing a best practice grounding in technology measurement. It offers guidelines on a variety of different scenarios compnies may experience and demonstrates the values and pitfalls of different approaches, quoting many real examples from well-known companies. It is aimed at senior managers in large and medium companies, chief executives, marketing, technical and planning directors and managers, and those involved in manging innovation and new product development.…

Broschiert. Condición: 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.…

Condición: 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.

Condición: 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.…

gebundene Ausgabe. Condición: Gut. 260 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Die Bibliotheksaufkleber sind fleckig; Schnitt und Einband sind etwas (staub-) schmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 600. …

Paperback. Condición: Good. number 185 Good paperback, bumped/creased with shelfwear; may have previous owner's name inside. Standard-sized.

paperback. Condición: 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.…

Hardcover. Condición: befriedigend. vorne untere Ecke bestossen, ein paar Bleistiftanstreichungen, sonst sehr gut erhalten; Sprache: deutsch; lgk 1051_Lowig;HC 2. Aufl., dieses Buch entstand aus einer Vorlesung über den Entwurf von EDV-Systemen sowie aus einer Seminarreihe über moderne Softwaretechnologie, mit 76 s/w Abbildungen und6 Tabellen illustriert, 250 S 550 Gramm.…

gebundene Ausgabe. Condición: Gut. 260 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Einbandkanten sind leicht bestoßen. Sprache: Deutsch Gewicht in Gramm: 520. …

gebundene Ausgabe. Condición: Gut. 260 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 550. …

PF. Condición: New.

Condición: New. In English.

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.

PF. Condición: New.

Condición: New. In English.

Hardcover. 2. Auflage. 260 S. Guter Zustand. Die Leseseiten sind sauber und ohne Markierungen. Leichte Lager- und Gebrauchsspuren. Ausgeschiedenes Bibliotheksexemplar mit entsprechender Kennzeichnung. Ansonsten ordentliches Exemplar. Sprache: Deutsch Gewicht in Gramm: 1000.

Taschenbuch. Condición: 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.…

Condición: New. pp. 476.

Taschenbuch. Condición: 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.…

Condición: New. pp. 424.

Pappband. Condición: Sehr gut. oktav orig . Pappband. sehr gutes exemplar. 260 Seiten; 2., durchgesehene Auflage; zahlreiche Abbildungen; durchgestrichener Namenseintrag auf Vorsatz; obere Kanten leicht bestoßen.

Condición: As New. Unread book in perfect condition. Weiler-Kühn, C. (ilustrador).

Paperback. Condición: Brand New. 494 pages. 9.00x6.00x1.12 inches. In Stock.

Paperback. Condición: New. Weiler-Kühn, C. (ilustrador).

Condición: New. Weiler-Kühn, C. (ilustrador).

Condición: New. Weiler-Kühn, C. (ilustrador).

Condición: New. In English.

Condición: New. In English. Weiler-Kühn, C. (ilustrador).

Condición: As New. Unread book in perfect condition. Weiler-Kühn, C. (ilustrador).

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