Lingua: Inglese
Editore: CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 10,11
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 11,03
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Createspace Independent Publishing Platform, 2014
ISBN 10: 1495437779 ISBN 13: 9781495437779
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condizione: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condizione: Very Good. 0387516980 Ex-library paperback in very nice condition with the usual markings and attachments.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 19,07
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 19,53
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 19,53
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: CreateSpace Independent Publishing Platform, 2014
ISBN 10: 1495437779 ISBN 13: 9781495437779
Da: Reader's Corner, Inc., Raleigh, NC, U.S.A.
Trade Paperback. Condizione: Fine. Oct 2014 Printing. This is a fine paperback copy, blue spine.
Lingua: Inglese
Editore: CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 16,09
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 16,44
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 26,12
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 26,47
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 27,11
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 27,39
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 44,33
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,51
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: California Books, Miami, FL, U.S.A.
EUR 21,44
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Condizione: New.
Da: California Books, Miami, FL, U.S.A.
EUR 117,93
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Algebraic Methods II: Theory, Tools and Applications | Jan A. Bergstra (u. a.) | Taschenbuch | viii | Englisch | 1991 | Springer | EAN 9783540539124 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Condizione: As New. Unread book in perfect condition.
EUR 14,78
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Gut. Zustand: Gut | Seiten: 568 | Sprache: Englisch | Produktart: Bücher | Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL?.- Description algebra.- The calculus ??.- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP? a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.
EUR 15,22
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 568 | Sprache: Englisch | Produktart: Bücher | Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL?.- Description algebra.- The calculus ??.- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP? a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 115,42
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 115,40
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 128,59
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: New. pp. 248.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 120,32
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.