Importe total (1 artículo artículos):
Destino del pedido:
understanding specification language formal semantics de spivey (19 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (19)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición
Encuadernación
Más atributos
- Primera edición (3)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (3)
- No impresión bajo demanda (17)
Idioma (1)
Gastos de envío gratis
- Envío gratis a España (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Publicado por Cambridge University Press, 1988
ISBN 10: 0521334292 ISBN 13: 9780521334297
Idioma: Inglés
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 3,50
Convertir monedaEUR 7,07 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Publicado por Cambridge University Press, 1988
ISBN 10: 0521334292 ISBN 13: 9780521334297
Idioma: Inglés
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 7,10
Convertir monedaEUR 5,87 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. 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 0.9.
-
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Publicado por Cambridge University Press, 1988
ISBN 10: 0521334292 ISBN 13: 9780521334297
Idioma: Inglés
Librería: WeBuyBooks, Rossendale, LANCS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 8,84
Convertir monedaEUR 7,38 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
-
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)
Publicado por Cambridge University Press, 1988
ISBN 10: 0521334292 ISBN 13: 9780521334297
Idioma: Inglés
Librería: Reuseabook, Gloucester, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 11,01
Convertir monedaEUR 5,34 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Used; Very Good. Dispatched, from the UK, within 48 hours of ordering. Though second-hand, the book is still in very good shape. Minimal signs of usage may include very minor creasing on the cover or on the spine.
-
Understanding Z. A Specification Language and its Formal Semantics. [Cambridge Tracts in Theoretical Computer Science, Vol. 3].
Publicado por Cambridge University Press, 2008
Idioma: Inglés
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania
Miembro de asociación: GIAQ
Calificación del vendedor: 5 de 5 estrellas
EUR 9,40
Convertir monedaEUR 6,50 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover/Paperback. Condición: Sehr gut. 140 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 248.
-
Understanding Z : A Specification Language and Its Formal Semantics
Publicado por Cambridge University Press, 1988
ISBN 10: 0521334292 ISBN 13: 9780521334297
Idioma: Inglés
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 6,30
Convertir monedaEUR 17,06 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Understanding Z: A Specification Language and its Formal Semantics
Publicado por Cambridge University Press, 1988
ISBN 10: 0521334292 ISBN 13: 9780521334297
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 23,75
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad 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 1988. 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 1988. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Publicado por Cambridge University Press, 1988
ISBN 10: 0521334292 ISBN 13: 9780521334297
Idioma: Inglés
Librería: BookHolders, Towson, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 0,89
Convertir monedaEUR 32,44 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: Reprint ] Publisher: Cambridge University Press Pub Date: 4/28/1998 Binding: Hardcover Pages: 144 Reprint edition.
-
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Band 3)
Publicado por Cambridge University Press 31.03.1988., 1988
ISBN 10: 0521334292 ISBN 13: 9780521334297
Idioma: Inglés
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 41,49
Convertir monedaEUR 9,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. 144 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 396 24,6 x 17,6 x 1,4 cm, Gebundene Ausgabe.
-
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Publicado por Cambridge University Press, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Idioma: Inglés
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 50,35
Convertir monedaEUR 4,69 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)
Publicado por Cambridge University Press 2008-02-28, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Idioma: Inglés
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 46,22
Convertir monedaEUR 17,67 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)"
Publicado por Cambridge University Press, 1988
ISBN 10: 0521334292 ISBN 13: 9780521334297
Idioma: Inglés
Librería: BooksByLisa, Highland Park, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 41,38
Convertir monedaEUR 33,89 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book.
-
Understanding Z : A Specification Language and Its Formal Semantics
Publicado por Cambridge University Press, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 67,61
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a standard framework for understanding Z specifications.
-
Understanding Z: A Specification Language and Its Formal Semantics (Paperback)
Publicado por Cambridge University Press, Cambridge, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Idioma: Inglés
Librería: CitiRetail, Stevenage, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 54,63
Convertir monedaEUR 35,36 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method, those who want a concise definition of the language, and those interested in the design of specification languages. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. It makes a detailed theoretical comparison between schemas, the Z construct for breaking specifications into modules, and the analogous facilities in other languages such as CLEAR and ASL. The final chapter contains a number of studies in Z style, showing that Z can be used for a wide variety of specification tasks. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Understanding Z: A Specification Language and Its Formal Semantics (Paperback)
Publicado por Cambridge University Press, Cambridge, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Idioma: Inglés
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 71,20
Convertir monedaEUR 32,15 gastos de envío desde Australia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method, those who want a concise definition of the language, and those interested in the design of specification languages. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. It makes a detailed theoretical comparison between schemas, the Z construct for breaking specifications into modules, and the analogous facilities in other languages such as CLEAR and ASL. The final chapter contains a number of studies in Z style, showing that Z can be used for a wide variety of specification tasks. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)
Publicado por Cambridge University Press, 1988
ISBN 10: 0521334292 ISBN 13: 9780521334297
Idioma: Inglés
Librería: The Book Spot, Sioux Falls, MN, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 75,17
Convertir monedaEUR 39,10 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New.
-
Understanding Z: A Specification Language and Its Formal Semantics (Paperback)
Publicado por Cambridge University Press, Cambridge, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Idioma: Inglés
Librería: Grand Eagle Retail, Fairfield, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 54,96
Convertir monedaEUR 65,17 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method, those who want a concise definition of the language, and those interested in the design of specification languages. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. It makes a detailed theoretical comparison between schemas, the Z construct for breaking specifications into modules, and the analogous facilities in other languages such as CLEAR and ASL. The final chapter contains a number of studies in Z style, showing that Z can be used for a wide variety of specification tasks. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Understanding Z: A Specification Language and its Formal Semantics
Publicado por Cambridge University Press, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Idioma: Inglés
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 48,04
Convertir monedaEUR 5,96 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 270.
-
Understanding Z: A Specification Language and its Formal Semantics
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 43,78
Convertir monedaEUR 11,79 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 139 pages. 9.45x6.61x0.47 inches. In Stock. This item is printed on demand.
