Verlag: Springer, 1986
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Paperback. Zustand: Good. Ex-library paperback in good condition with the usual markings and attachments. Pages tanned from age. Text block clean and unmarked. Tight binding.
Verlag: Springer, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: Midtown Scholar Bookstore, Harrisburg, PA, USA
Paperback. Zustand: Very Good. Very Good paperback with light shelfwear - NICE! Standard-sized.
Verlag: Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Broschiert. Zustand: Gut. XIV, 455 Seiten : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 740.
Verlag: Springer, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: Irish Booksellers, Portland, ME, USA
Zustand: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Verlag: Springer Berlin, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: ralfs-buecherkiste, Herzfelde, MOL, Deutschland
Paperback/ broschiert. Zustand: Wie neu. 455 S. Computerwissenschaften Befriedigender Zustand Ex-Library. Stamped edges. Brownish paper. ha1088554 Sprache: Englisch Gewicht in Gramm: 1050.
Verlag: Springer, 2008
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
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.
Verlag: Springer, 2008
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: Gerald Wollermann, Bad Vilbel, Deutschland
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.
Verlag: Springer, 1986
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Paperback. Zustand: Very Good. Ex-library paperback in nice condition with the usual markings and attachments.
Verlag: Springer, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition.
Verlag: Springer, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Verlag: Springer, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: booksXpress, Bayonne, NJ, USA
Soft Cover. Zustand: new.
Verlag: Springer, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Verlag: Springer, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Zustand: New.
Verlag: Springer 1985-03, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
PF. Zustand: New.
Verlag: Springer Berlin Heidelberg Mrz 1985, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: 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.
Verlag: Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition.
Verlag: Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Verlag: Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: booksXpress, Bayonne, NJ, USA
Soft Cover. Zustand: new.
Verlag: Springer, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: GreatBookPricesUK, Castle Donington, DERBY, Vereinigtes Königreich
Zustand: New.
Verlag: Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Verlag: Springer 1985-03, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
PF. Zustand: New.
Verlag: Springer Berlin Heidelberg Mrz 1985, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: 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 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. 476 pp. Englisch.
Verlag: Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Zustand: New.
Verlag: Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 476.
Verlag: Springer, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: GreatBookPricesUK, Castle Donington, DERBY, Vereinigtes Königreich
Zustand: As New. Unread book in perfect condition.
Verlag: Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: GreatBookPricesUK, Castle Donington, DERBY, Vereinigtes Königreich
Zustand: New.
Verlag: Springer Berlin Heidelberg, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.
Verlag: Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: 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.
Verlag: Springer Berlin Heidelberg, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.
Verlag: Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: GreatBookPricesUK, Castle Donington, DERBY, Vereinigtes Königreich
Zustand: As New. Unread book in perfect condition.