𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Teaching Formal Methods Volume 3294 || An Undergraduate Course on Protocol Engineering – How to Teach Formal Methods Without Scaring Students

✍ Scribed by Dean, C. Neville; Boute, Raymond T.


Book ID
111912006
Publisher
Springer Berlin Heidelberg
Year
2004
Weight
212 KB
Category
Article
ISBN
354030472X

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Teac
✍ Dean, C. Neville; Boute, Raymond T. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 212 KB

“Professional engineers can often be distinguished from other designers by the engineers’ ability to use mathematical models to describe and 1 analyze their products.” This observation by Parnas describes the de facto professional standards in all classical engineering disciplines (civil, mechanical