✦ LIBER ✦

Specification and testing of abstract data types

✍ Scribed by Pankaj Jalote

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Methodical specification of abstract dat

✍ P. A. S. Veloso 📂 Article 📅 1982 🏛 Springer 🌐 English ⚖ 785 KB

A practical example of the specification

✍ Frank W. Tompa 📂 Article 📅 1980 🏛 Springer-Verlag 🌐 English ⚖ 1011 KB

Specification and testing of some modifi

✍ John Mullahy 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 458 KB

Specification and testing of count data

✍ Teofilo Ozuna; Irma Adriana Gomez 📂 Article 📅 1995 🏛 Springer-Verlag 🌐 English ⚖ 360 KB

Transition Specifications for Dynamic Ab

✍ Martin Große-Rhode 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 375 KB

Synthesizing implementations of abstract

✍ Pankaj Jalote 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 744 KB