ZB 2005 Formal Specification And Development in Z And B: 4th International Conference of B And Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Treharne, Helen (Editor)/ King, Steve (Editor)/ Henson, Martin (Editor)/ Schneider, Steve (Editor)

Editorial: Springer Verlag, 2005
ISBN 10: 3540255591 / ISBN 13: 9783540255598
Usado / Paperback / Cantidad: 0
Disponible en otras librerías
Ver todos  los ejemplares de este libro

Sobre el libro

Lamentablemente este ejemplar en específico ya no está disponible. A continuación, le mostramos una lista de copias similares.

Descripción:

1st edition. 491 pages. 9.50x6.50x1.25 inches. In Stock. N° de ref. de la librería

Sobre este título:

Valoración del libro brindada por Goodreads:
0 valoración promedio
(0 valoraciones)

Sinopsis: These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuiltonthesuccessofthepreviousthreeconferences in this series, ZB 2000, held at the University of York in the UK, ZB 2002, held at theLaboratoire Logiciels Syst` emes R´ eseaux within theInstitut d'Informatique et Math´ ematique Appliqu´ ees de Grenoble (LSR-IMAG) in Grenoble, France, and ? ZB 2003, held in Turku in Finland hosted by Abo Akademi University and the TurkuCentreforComputerScience(TUCS). ZB2005washeldattheUniversity of Surrey, Guildford, UK, hosted by the Department of Computing. The U- versity has always placed particular emphasis on the applicability of its research and its relationship with industrial partners. In this context it is building up its formal methods activity as an area of strategic importance, with the establi- ment of a new group within the Department of Computing, and also with its support for this conference. B and Z are two important formal methods that share a common conceptual origin; they are leading approaches in industry and academia for the speci?- tion and development (using formal re?nement) of computer-based systems. At ZB 2005 the B and Z communities met once again to hold a fourth joint c- ference that simultaneously incorporated the 15th International Z User Meeting and the 6th International Conference on the B Method.

"Sobre este título" puede pertenecer a otra edición de este libro.

Detalles bibliográficos

Título: ZB 2005 Formal Specification And Development...
Editorial: Springer Verlag
Año de publicación: 2005
Encuadernación: Paperback
Condición del libro: Brand New

Los mejores resultados en AbeBooks

1.

Treharne, Helen [Editor]; King, Steve [Editor]; Henson, Martin [Editor]; Schneider, Steve [Editor];
Editorial: Springer (2008)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Usado Paperback Cantidad: 1
Librería
GuthrieBooks
(Spring Branch, TX, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2008. Paperback. Estado de conservación: Used: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Nº de ref. de la librería UTD1419904

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar usado
EUR 53,98
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 5,10
A Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Editor-Helen Treharne; Editor-Steve King; Editor-Martin Henson; Editor-Steve Schneider
Editorial: Springer (2008)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Usado Paperback Cantidad: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2008. Paperback. Estado de conservación: Used: Good. Nº de ref. de la librería SONG3540255591

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar usado
EUR 73,32
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,25
A Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Henson, Martin and King, Steve and Treharne, Helen and Schneider, Steve
Editorial: Springer (2008)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Usado Paperback Cantidad: 1
Librería
Greener Books
(London, Reino Unido)
Valoración
[?]

Descripción Springer, 2008. Paperback. Estado de conservación: Used; Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence!. Nº de ref. de la librería 2334037

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar usado
EUR 97,80
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,09
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

HELEN TREHARNE
Editorial: Springer (2005)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Nuevos Paperback Cantidad: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer, 2005. Paperback. Estado de conservación: NEW. 9783540255598 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE0331539

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 115,06
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,03
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Helen Treharne
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2005)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2005. PAP. Estado de conservación: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería LQ-9783540255598

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 116,01
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,16
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Treharne, Helen
Editorial: Springer (2016)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Nuevos Paperback Cantidad: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Springer, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9783540255598_lsuk

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 120,47
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,38
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Editorial: Springer (2008)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Nuevos Tapa blanda Cantidad: 15
Impresión bajo demanda
Librería
Valoración
[?]

Descripción Springer, 2008. Estado de conservación: New. This item is printed on demand for shipment within 3 working days. Nº de ref. de la librería LP9783540255598

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 128,54
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Helen Treharne
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2005)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2005. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería IQ-9783540255598

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 132,01
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,40
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Editorial: Springer (2008)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Nuevos Paperback Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2008. Paperback. Estado de conservación: New. book. Nº de ref. de la librería M3540255591

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 171,72
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Springer
Editorial: Springer (2008)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Usado Paperback Cantidad: 1
Librería
Books Express
(Portsmouth, NH, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2008. Paperback. Estado de conservación: Good. 2005. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!. Nº de ref. de la librería 3540255591

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar usado
EUR 177,17
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras 3 copia(s) de este libro

Ver todos los resultados de su búsqueda