Pages that link to "Biography:Jean-Raymond Abrial"
From HandWiki
The following pages link to Biography:Jean-Raymond Abrial:
Displayed 13 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Seed7 (← links)
- Entity–relationship model (← links)
- Rodin tool (← links)
- Refinement calculus (← links)
- B-Method (← links)
- Z notation (← links)
- IFIP Working Group 2.3 (← links)
- Biography:Bertrand Meyer (← links)
- Biography:List of programming language researchers (← links)
- Biography:Carroll Morgan (computer scientist) (← links)
- Biography:Ib Holm Sørensen (← links)
- Organization:Escuela Superior Latinoamericana de Informática (← links)
- Software:Rodin tool (← links)