Z—An introduction to formal methods (2nd edn): Antoni Diller John Wiley, Chichester (1994) £22.50 (1st edn published in 1990) ISBN 0 471 93973 0

✍ Scribed by Julian Rose

• Book ID: 103969702
• Publisher: Elsevier Science
• Year: 1995
• Tongue: English
• Weight: 429 KB
• Volume: 37
• Category: Article
• ISSN: 0950-5849
• DOI: 10.1016/0950-5849(95)90016-0