Pages that link to "Item:Q1773139"
From MaRDI portal
The following pages link to Software engineering 1. Abstraction and modelling. (Q1773139):
Displaying 3 items.
- Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. (Q1773140) (← links)
- Pinnacles of software engineering: 25 years of formal methods (Q1859528) (← links)
- On teaching software engineering based on formal techniques -- thoughts about and plans for -- a different software engineering textbook (Q2755064) (← links)