Z 2e: An Introduction to Formal Methods by Diller, Antoni

Paperback. Very Good.

Wiley & Sons, Incorporated, John. Used - Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.

Wiley & Sons, Incorporated, John. Used - Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.

Wiley, 1994. 2nd Edition. . Soft cover. New. STORED NEW PRISTINE CONDITION SANITIZED THEN WRAPPED

Wiley, 1994-07-19. Paperback. New. New. In shrink wrap. Looks like an interesting title!

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.

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.

John Wiley & Sons Inc, 1994. Paperback. New. 2nd sub edition. 394 pages. 9.75x6.75x1.00 inches.

John Wiley & Sons , pp. 394 2nd Edition . Papeback. New.

John Wiley & Sons Inc, 1994. Paperback. New. 2nd sub edition. 394 pages. 9.75x6.75x1.00 inches.