✦ LIBER ✦

Practice-oriented courses in formal methods using VDM++

✍ Scribed by Peter Gorm Larsen; John S. Fitzgerald; Steve Riddle

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Methods in Practice

✍ Wolfgang Polak 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 484 KB

Using Design Explanation within the Form

✍ L. Nguyen; P. A. Swatman; G. Shanks 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 259 KB

Modeling NASA swarm-based systems: using

✍ Joaquin Peña; Christopher A. Rouff; Mike Hinchey; Antonio Ruiz-Cortés 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 676 KB

Reconceptualizing the Elementary Science

✍ Sandra K. Abell; Lynn A. Bryan 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 629 KB

Using activity-oriented design methods t

✍ Christine Greenhow; Brad Belbas 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 517 KB

Using a Multilevel Assessment Scheme in

✍ Bonnie K. Baxter; Carolyn C. Jenkins; Sherry A. Southerland; Paula Wilson 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 174 KB