𝔖 Bobbio Scriptorium
✦   LIBER   ✦

“Relationship” specification in Z-notation

✍ Scribed by V. Dimitrov

Book ID
111468826
Publisher
SP MAIK Nauka/Interperiodica
Year
2011
Tongue
English
Weight
152 KB
Volume
8
Category
Article
ISSN
1547-4771

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mathematics in Computing || Z Formal Spe
Mathematics in Computing || Z Formal Specification Language
✍ O’Regan, Gerard 📂 Article 📅 2012 🏛 Springer London 🌐 English ⚖ 836 KB

This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions a