Idioma: Inglés
Publicado por CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 9,95
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 10,86
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Createspace Independent Publishing Platform, 2014
ISBN 10: 1495437779 ISBN 13: 9781495437779
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
EUR 14,47
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 14,59
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. 0387516980 Ex-library paperback in very nice condition with the usual markings and attachments.
Idioma: Inglés
Publicado por Independently published, 2014
ISBN 10: 1696578558 ISBN 13: 9781696578554
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 19,22
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Independently published, 2014
ISBN 10: 1696578558 ISBN 13: 9781696578554
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 19,22
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por CreateSpace Independent Publishing Platform, 2014
ISBN 10: 1495437779 ISBN 13: 9781495437779
Librería: Reader's Corner, Inc., Raleigh, NC, Estados Unidos de America
EUR 21,98
Cantidad disponible: 1 disponibles
Añadir al carritoTrade Paperback. Condición: Fine. Oct 2014 Printing. This is a fine paperback copy, blue spine.
Idioma: Inglés
Publicado por Springer-Verlag, Berlin, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
EUR 14,27
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Estado de la sobrecubierta: 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.
Publicado por NWO/Huygenslezing, 1998
EUR 1,19
Cantidad disponible: 1 disponibles
Añadir al carritoHardback. Condición: Very Good. Printed card covers, some light shelfwear, no owner's mark or annotations, binding tight. ; 8.4 x 6 x .2; 50 pages.
Idioma: Inglés
Publicado por CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 15,83
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 16,63
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Independently published, 2014
ISBN 10: 1696578558 ISBN 13: 9781696578554
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 24,71
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Independently published, 2014
ISBN 10: 1696578558 ISBN 13: 9781696578554
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 25,85
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 50,58
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Idioma: Inglés
Publicado por CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1974545334 ISBN 13: 9781974545339
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 13,19
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Print on Demand.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 59,97
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 113,72
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 116,05
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 12,74
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 120,12
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 50,25
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 114,33
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 125,74
Cantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 128,81
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 131,13
Cantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 114,32
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Atlantis Press 2014-07-18, 2014
ISBN 10: 9462390495 ISBN 13: 9789462390492
Librería: Chiron Media, Wallingford, Reino Unido
EUR 118,12
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New.
EUR 29,90
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 444 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.