Artículos relacionados a Zb 2003: Formal Specification and Development in Z...
Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 2003 Proceedings ... Finland, June 4-6, 2003, Proceedings: 2651 - Tapa blanda
Book by None
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor:
The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2003
- ISBN 10 3540402535
- ISBN 13 9783540402534
- EncuadernaciónTapa blanda
- Número de páginas568
- EditorBert Didier
Comprar nuevo
Ver este artículo
EUR 108,23
Gastos de envío:
GRATIS
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen del vendedor
Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 2003 Proceedings . (Lecture Notes in Computer Science (2651)) [Paperback ]
Publicado por
Springer
(2003)
ISBN 10: 3540402535
ISBN 13: 9783540402534
Nuevo
Soft Cover
Cantidad disponible: 10
Librería:
Valoración
Descripción Soft Cover. Condición: new. Nº de ref. del artículo: 9783540402534
Comprar nuevo
EUR 108,23
Convertir moneda
Imagen de archivo
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Lecture Notes in Computer Science, 2651)
Publicado por
Springer
(2003)
ISBN 10: 3540402535
ISBN 13: 9783540402534
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020166116
Comprar nuevo
EUR 111,78
Convertir moneda
Imagen del vendedor
Zb 2003-Formal Specification and Development in Z and B : Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : Proceedings
Publicado por
Springer
(2003)
ISBN 10: 3540402535
ISBN 13: 9783540402534
Nuevo
Tapa blanda
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 5907031-n
Comprar nuevo
EUR 113,07
Convertir moneda
Imagen de archivo
ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users; Turku; Finland; June 4-6; 2003; Proceedings
Publicado por
Springer
(2003)
ISBN 10: 3540402535
ISBN 13: 9783540402534
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783540402534_lsuk
Comprar nuevo
EUR 114,55
Convertir moneda
Gastos de envío:
EUR 11,82
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
ZB 2003: Formal Specification and Development in Z and B
Publicado por
Springer Berlin Heidelberg Mai 2003
(2003)
ISBN 10: 3540402535
ISBN 13: 9783540402534
Nuevo
Taschenbuch
Cantidad disponible: 2
Librería:
Valoración
Descripción Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies. 568 pp. Englisch. Nº de ref. del artículo: 9783540402534
Comprar nuevo
EUR 106,99
Convertir moneda
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
Zb 2003-Formal Specification and Development in Z and B : Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : Proceedings
Publicado por
Springer
(2003)
ISBN 10: 3540402535
ISBN 13: 9783540402534
Nuevo
Tapa blanda
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 5907031-n
Comprar nuevo
EUR 114,54
Convertir moneda
Gastos de envío:
EUR 17,75
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
ZB 2003: Formal Specification and Development in Z and B
Publicado por
Springer Berlin Heidelberg
(2003)
ISBN 10: 3540402535
ISBN 13: 9783540402534
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion i. Nº de ref. del artículo: 4888669
Comprar nuevo
EUR 92,27
Convertir moneda
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Publicado por
Springer Berlin Heidelberg
(2003)
ISBN 10: 3540402535
ISBN 13: 9783540402534
Nuevo
Taschenbuch
Cantidad disponible: 1
Librería:
Valoración
Descripción Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies. Nº de ref. del artículo: 9783540402534
Comprar nuevo
EUR 111,07
Convertir moneda
Gastos de envío:
EUR 32,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Zb 2003-Formal Specification and Development in Z and B: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : Proceedings
Publicado por
Springer-Verlag New York Inc
(2003)
ISBN 10: 3540402535
ISBN 13: 9783540402534
Nuevo
Paperback
Cantidad disponible: 2
Librería:
Valoración
Descripción Paperback. Condición: Brand New. 1st edition. 547 pages. 9.00x6.00x1.25 inches. In Stock. Nº de ref. del artículo: x-3540402535
Comprar nuevo
EUR 140,49
Convertir moneda
Gastos de envío:
EUR 11,83
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Publicado por
Springer
(2003)
ISBN 10: 3540402535
ISBN 13: 9783540402534
Nuevo
Tapa blanda
Cantidad disponible: 15
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: V9783540402534
Comprar nuevo
EUR 148,32
Convertir moneda
Gastos de envío:
EUR 10,50
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío