Lingua: Inglese
Editore: CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition.
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: GreatBookPrices, Columbia, MD, U.S.A.
EUR 19,10
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.
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
EUR 14,29
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Condizione sovraccoperta: No Dust Jacket. Lecture Notes in Computer Science 394; Ex-Library. Previous owner's sticker on the front cover. Small pen inscription on title page; library catalogue sticker on reverse of front cover. Faintly scuffed spine head from sticker removal. Creased on rear leading corner. Sound, clean book with tight binding. ADG. Ex-Library.
Editore: NWO/Huygenslezing, 1998
EUR 1,19
Quantità: 1 disponibili
Aggiungi al carrelloHardback. Condizione: Very Good. Printed card covers, some light shelfwear, no owner's mark or annotations, binding tight. ; 8.4 x 6 x .2; 50 pages.
Lingua: Inglese
Editore: CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 30,82
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 15,75
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,65
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 24,75
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 26,07
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 41,36
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Da: California Books, Miami, FL, U.S.A.
EUR 13,10
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,06
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Condizione: New.
Da: California Books, Miami, FL, U.S.A.
EUR 115,32
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 12,74
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 13,12
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.
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.
Condizione: As New. Unread book in perfect condition.
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.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 114,51
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 125,93
Quantità: 1 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Condizione: New.
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 114,50
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Chiron Media, Wallingford, Regno Unito
EUR 119,42
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
EUR 122,37
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 127,01
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: New. pp. 248.