𝔖 Bobbio Scriptorium

✦ LIBER ✦

An introduction to formal methods : Antoni Diller, (Wiley, Chichester, United Kingdom, 1990), Price £19.95 (paperback), ISBN 0-471-9248-X.

✍ Scribed by R. Jones

Book ID: 103588635
Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 374 KB
Volume: 16
Category: Article
ISSN: 0167-6423
DOI: 10.1016/0167-6423(91)90016-q

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Z—An introduction to formal methods (2nd

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

✍ Julian Rose 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 429 KB

The semantics of programming languages:

The semantics of programming languages: An elementary introduction using structural operational semantics : Matthew Hennessy, (Wiley, Chichester, United Kingdom, 1990), Price £14.50 (paperback), ISBN 0-471-92772-4.

✍ Ian J. Hayes 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 222 KB

Z – An introduction to formal methods 2n

Z – An introduction to formal methods 2nd edn. Antoni Diller. Published by John Wiley & Sons Ltd., Chichester, U.K., 1994. ISBN 0 47 193 973 0, 374 pages. Price: £22.50, hard cover

✍ David Mole 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 86 KB