ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Idioma: inglés

Editorial: Springer-Verlag, 1995

3540602712 / 9783540602712

  • Tapa blanda
  • Usado
Ver todos los detalles

Librería: George Cross Books, Lexington, MA, Estados Unidos de AmericaGeorge Cross Books

Vendedor de 5 estrellas

Vendedor de IberLibro desde 11 de junio de 2003

Miembro de asociación: IOBA

Tapa blanda

Condición: Usado

EUR 48,82

Envío por EUR 3,58 
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Very Good/Wraps (34594) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 967 This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used formal method both in industry and application, the volume is of high relevance for the whole formal methods community. 571.

N° de ref. del artículo 34594

Título
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Autor
Bowen, Jonathan P.; Hinchey, Michael G. (Eds.)
Editorial
Springer-Verlag
Año de publicación
1995
Encuadernación
Paperback
Idioma
inglés
ISBN 10
3540602712
ISBN 13
9783540602712
Edición
Reprint edition

George Cross Books

Lexington, MA, Estados Unidos de America

Vendedor de 5 estrellas

Vendedor de IberLibro desde 11 de junio de 2003

Miembro de asociación:

Tarifas de envío en Estados Unidos de America

ArtículoDe 5 a 14 días hábilesDe 3 a 6 días hábiles
Primer artículoEUR 3,58EUR 8,94
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • Efectivo
  • Factura
  • Giro postal
  • PayPal

Descripción de la tienda

Specializing in monographs and texts in Mathematics, Computer Science, Science, Engineering, Social Sciences, Psychology. Photography and Science Fiction.

Especialidad

Photography, Science Fiction, Social Sciences, Science, Computer Science, Mathematics

Miembro de asociación

  • Independent Online Booksellers Association
Los miembros de estas asociaciones se comprometen a mantener los estándares más altos. Garantizan la autenticidad de todos los artículos puestos a la venta. Proporcionan descripciones detalladas y expertas, informan de todos los defectos o restauraciones importantes, incluyen precios claros y precisos y actúan de manera justa y honesta durante la experiencia de compra.

Información empresarial del vendedor

George Cross Books

MA, Estados Unidos de America