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 disponible: 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: Book by None

Reseña del editor: 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];
Publicado por Springer (2008)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Antiguo o usado Paperback Cantidad disponible: 1
Librería
GuthrieBooks
(Spring Branch, TX, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2008. Paperback. Condición: Used: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Nº de ref. del artículo: UTD1419904

Más información sobre este vendedor | Contactar al vendedor

Comprar usado
EUR 54,24
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,34
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
Publicado por Springer (2008)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Antiguo o usado Paperback Cantidad disponible: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2008. Paperback. Condición: Used: Good. Nº de ref. del artículo: SONG3540255591

Más información sobre este vendedor | Contactar al vendedor

Comprar usado
EUR 72,58
Convertir moneda

Añadir al carrito

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

3.

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

Descripción Springer, 2008. Paperback. Condició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. del artículo: 2334037

Más información sobre este vendedor | Contactar al vendedor

Comprar usado
EUR 88,62
Convertir moneda

Añadir al carrito

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

4.

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

Descripción Springer, 2005. Paperback. Condición: NEW. 9783540255598 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Nº de ref. del artículo: HTANDREE0331539

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 113,62
Convertir moneda

Añadir al carrito

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

5.

Helen Treharne
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2005)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Nuevo Cantidad disponible: > 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. Condició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. del artículo: LQ-9783540255598

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 114,56
Convertir moneda

Añadir al carrito

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

6.

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

Descripción Springer, 2008. Condición: New. This item is printed on demand for shipment within 3 working days. Nº de ref. del artículo: LP9783540255598

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 128,54
Convertir moneda

Añadir al carrito

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

7.

Henson, Martin
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2005)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Nuevo Cantidad disponible: > 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. Condició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. del artículo: IQ-9783540255598

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 134,84
Convertir moneda

Añadir al carrito

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

8.

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

Descripción Springer, 2008. Paperback. Condición: New. 2005. Nº de ref. del artículo: DADAX3540255591

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 143,31
Convertir moneda

Añadir al carrito

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

9.

Publicado por Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany (2005)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Nuevo Paperback Cantidad disponible: 10
Impresión bajo demanda
Librería
The Book Depository EURO
(London, Reino Unido)
Valoración
[?]

Descripción Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, 2005. Paperback. Condición: New. 2005 ed.. Language: English . Brand New Book ***** Print on Demand *****.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. Nº de ref. del artículo: AAV9783540255598

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 177,09
Convertir moneda

Añadir al carrito

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

10.

Publicado por Springer (2008)
ISBN 10: 3540255591 ISBN 13: 9783540255598
Nuevo Tapa blanda Cantidad disponible: 1
Librería
Irish Booksellers
(Portland, ME, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2008. Condición: New. book. Nº de ref. del artículo: M3540255591

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 178,31
Convertir moneda

Añadir al carrito

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

Existen otras 2 copia(s) de este libro

Ver todos los resultados de su búsqueda