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.
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Lingua: Inglese
Editore: CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New.
Da: Goodwill Books, Hillsboro, OR, U.S.A.
Condizione: good. Signs of wear and consistent use.
Lingua: Inglese
Editore: CreateSpace Independent Publishi, 2014
ISBN 10: 1495437779 ISBN 13: 9781495437779
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
EUR 9,08
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition.
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
EUR 14,28
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.
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.
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: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 15,51
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 17,06
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 25,83
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 28,51
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: GoldBooks, Denver, CO, U.S.A.
Condizione: new.
Condizione: New.
Da: California Books, Miami, FL, U.S.A.
EUR 13,19
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Lingua: Inglese
Editore: CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Da: California Books, Miami, FL, U.S.A.
EUR 13,19
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 58,66
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: California Books, Miami, FL, U.S.A.
EUR 21,10
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: California Books, Miami, FL, U.S.A.
EUR 21,10
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Condizione: New.
Condizione: New.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1991
ISBN 10: 3540539123 ISBN 13: 9783540539124
Da: AHA-BUCH GmbH, Einbeck, Germania
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 11,47
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 11,47
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.