✦ LIBER ✦

Integrating formalism into undergraduate software engineering

✍ Scribed by Perry Alexander

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal methods integration in software e

✍ Isabelle Perseil; Laurent Pautet 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 371 KB

Integrating bioinformatics into undergra

✍ Scott Cooper 📂 Article 📅 2001 🏛 The American Society for Biochemistry and Molecula 🌐 English ⚖ 187 KB

Integrating a formal method into a softw

✍ Michael Möller; Ernst-Rüdiger Olderog; Holger Rasch; Heike Wehrheim 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 826 KB

Integrating Genomics Into Undergraduate

✍ Sandra Daack-Hirsch; Carla Dieter; Mary T. Quinn Griffin 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 128 KB

Software engineering and formal methods

✍ Bernhard Aichernig; Bernhard Beckert 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 66 KB

Software engineering formal methods II

📂 Article 📅 1988 🏛 Elsevier Science ⚖ 9 KB