Artículos relacionados a ZB 2005: Formal Specification and Development in Z...
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: 3455 (Lecture Notes in Computer Science) - Tapa blanda
Book by None
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
Reseña del editor:
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005. The 25 revised full papers presented together with extended abstracts of 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers document the recent advances for the Z formal specification notation and for the B method, ranging 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ón2005
- ISBN 10 3540255591
- ISBN 13 9783540255598
- EncuadernaciónTapa blanda
- Número de páginas516
- EditorTreharne Helen, King Steve, Henson Martin
Comprar nuevo
Ver este artículo
EUR 109,22
Gastos de envío:
GRATIS
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen del vendedor
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 (Lecture Notes in Computer Science (3455)) by Henson, Martin, King, Steve, Treharne, Helen, Schneider, Steve [Paperback ]
Publicado por
Springer
(2008)
ISBN 10: 3540255591
ISBN 13: 9783540255598
Nuevo
Soft Cover
Cantidad disponible: 10
Librería:
Valoración
Descripción Soft Cover. Condición: new. Nº de ref. del artículo: 9783540255598
Comprar nuevo
EUR 109,22
Convertir moneda
Imagen de archivo
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 (Lecture Notes in Computer Science, 3455)
Publicado por
Springer
(2008)
ISBN 10: 3540255591
ISBN 13: 9783540255598
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020164221
Comprar nuevo
EUR 112,88
Convertir moneda
Imagen de archivo
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
Publicado por
Springer
(2008)
ISBN 10: 3540255591
ISBN 13: 9783540255598
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: ria9783540255598_lsuk
Comprar nuevo
EUR 115,87
Convertir moneda
Gastos de envío:
EUR 11,66
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
ZB 2005: Formal Specification and Development in Z and B
Publicado por
Springer Berlin Heidelberg Apr 2005
(2005)
ISBN 10: 3540255591
ISBN 13: 9783540255598
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 -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. 516 pp. Englisch. Nº de ref. del artículo: 9783540255598
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 2005: Formal Specification and Development in Z and B
Publicado por
Springer Berlin Heidelberg
(2005)
ISBN 10: 3540255591
ISBN 13: 9783540255598
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 4886544
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 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
Publicado por
Springer Berlin Heidelberg
(2008)
ISBN 10: 3540255591
ISBN 13: 9783540255598
Nuevo
Taschenbuch
Cantidad disponible: 1
Librería:
Valoración
Descripción Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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: 9783540255598
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