✦ LIBER ✦

Abstract Data Types Can Have Inequations1

✍ Scribed by Hidetaka Kondoh

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Abstract data types in Fortran 90

✍ Michael Metcalf 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 659 KB

Verifying abstract data types with SNOBO

✍ A. C. Fleck 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 841 KB

An experience in implementing abstract d

✍ M. Banatre; A. Couvert; D. Herman; M. Raynal 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 352 KB

Two implementation models of abstract da

✍ John D. Gannon; Marvin V. Zelkowitz 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 347 KB

Specification and testing of abstract da

✍ Pankaj Jalote 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 664 KB

Transition Specifications for Dynamic Ab

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