Librería: G. & J. CHESTERS, TAMWORTH, Reino Unido
EUR 7,20
Cantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: Very Good. pp.vii, 431 pages, a very good plus paperback, from a uk university library [0387539123].
Librería: Midtown Scholar Bookstore, Harrisburg, PA, Estados Unidos de America
EUR 10,57
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Volume 409 Very Good paperback with light shelfwear - NICE! Standard-sized.
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
EUR 13,43
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. 425 pp., ex library, else textually clean and tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Idioma: Inglés
Publicado por Springer-Verlag, Berlin, 1991
ISBN 10: 0387539123 ISBN 13: 9780387539126
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
EUR 7,92
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Estado de la sobrecubierta: No Dust Jacket. Lecture Notes in Computer Science 490; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Traces of sticker residue across spine head; faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1994
ISBN 10: 3540199020 ISBN 13: 9783540199021
Librería: Ammareal, Morangis, Francia
EUR 6,99
Cantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations.
Publicado por National Science Foundation, 2001
Librería: Lot O'Books, Norfolk, VA, Estados Unidos de America
EUR 9,61
Cantidad disponible: 1 disponibles
Añadir al carritoSpiral-bound. Condición: Very Good. ***GREAT CONDITION***CLEAN PAGES*** light edge wear. We specialize in non-fiction books. Follow us on Facebook and Instagram.
Idioma: Inglés
Publicado por London ; Berlin ; Heidelberg ; New York ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1994
ISBN 10: 3540199020 ISBN 13: 9783540199021
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
EUR 15,30
Cantidad disponible: 1 disponibles
Añadir al carritoSoftcover. XII, 425 S. : graph. Darst. ; 24 cm Like new. Unread book. --- Neuwertiger Zustand. Ungelesenes Buch. 9783540199021 Sprache: Deutsch Gewicht in Gramm: 771 Softcover reprint of the original 1st ed. 1994.
Idioma: Inglés
Publicado por Ellis Horwood Ltd , Publisher, 1993
ISBN 10: 0131061135 ISBN 13: 9780131061132
Librería: Ammareal, Morangis, Francia
EUR 12,49
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
Idioma: Inglés
Publicado por Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Librería: Labyrinth Books, Princeton, NJ, Estados Unidos de America
EUR 32,32
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good.
Idioma: Inglés
Publicado por HOLT, RINEHART AND WINSTON, 2006
ISBN 10: 0030398339 ISBN 13: 9780030398339
Librería: Better World Books Ltd, Dunfermline, Reino Unido
EUR 28,16
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 43,96
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 Cambridge University Press, 1992
ISBN 10: 0521434572 ISBN 13: 9780521434577
Librería: Ammareal, Morangis, Francia
EUR 29,99
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,44
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,44
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 55,26
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 62,93
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press, Cambridge, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Original o primera edición
EUR 68,20
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants, and black-box correctness are also presented. More advanced ideas, for example, Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasized throughout so the book will be an excellent choice for courses in these areas. Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,21
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,21
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 61,75
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521435927 ISBN 13: 9780521435925
Librería: Chiron Media, Wallingford, Reino Unido
EUR 60,20
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Idioma: Holandés
Publicado por Uitgeverij Zwijsen België, 2013
ISBN 10: 9048714311 ISBN 13: 9789048714315
Librería: Houtman Boeken, Utrecht, Holanda
EUR 17,19
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: fine. 2013, 215pp, nette hardcover.
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
EUR 80,85
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
EUR 78,24
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 440.
EUR 78,27
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. xii + 425.
Librería: Librairie Parrêsia, Figeac, Francia
EUR 50,00
Cantidad disponible: 1 disponibles
Añadir al carritoFeb 01, 1993. Condición: Used: Very Good. A Formalisation of Design Methods | L. Feijs | E. Horwood, 1993, in-8 cartonnage éditeur, 502 pages. Couverture propre. Dos solide. Intérieur frais. Exemplaire de bibliothèque : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons à l'intérieur de l'ouvrage. Bel état ! [BT37].
EUR 81,45
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. xii + 425 Illus.
Idioma: Inglés
Publicado por Cambridge University Press CUP, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 85,53
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 352.
EUR 82,90
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. xii + 425.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 79,79
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. reprint edition. 437 pages. 9.25x6.10x1.00 inches. In Stock.