Z: An Introduction to Formal Methods
de Antoni Diller
- Nuevo
- Tapa blanda
- Estado
- New
- ISBN 10
- 0471939730
- ISBN 13
- 9780471939733
- Librería
-
Southport, Merseyside, United Kingdom
10 copias disponibles en esta librería
(Puedes añadir más en el área de pago.)
Formas de pago aceptadas
Sobre este artículo
Paperback / softback. New. Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
Reseñas
(¡Iniciar sesión or Crear una cuenta primero!)
Detalles
- Librería
- The Saint Bookstore (GB)
- Inventario del vendedor #
- B9780471939733
- Título
- Z: An Introduction to Formal Methods
- Autor
- Antoni Diller
- Formato/Encuadernación
- Paperback / softback
- Estado del libro
- Nuevo New
- Cantidad disponible
- 10
- Encuadernación
- Tapa blanda
- ISBN 10
- 0471939730
- ISBN 13
- 9780471939733
- Editorial
- Wiley
- Lugar de publicación
- West Sussex, England
- Primera fecha de publicación de esta edición
- June 16, 1994
Términos de venta
The Saint Bookstore
Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.
Sobre el vendedor
The Saint Bookstore
Miembro de Biblio desde 2018
Southport, Merseyside
Sobre The Saint Bookstore
The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.
Glosario
Algunos términos que podrían usarse en esta descripción incluyen:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...