D. Bjørner
D. Bjørner
1937
6 ספרים במאגר
ספרים
Perspectives of system informaticsD. Bjørner
Perspectives of system informatics
D. Bjørner · 2000
Formal methods and hybrid real-time systemsD. Bjørner
Formal methods and hybrid real-time systems
D. Bjørner · 2007
Logics of specification languagesD. Bjørner
Logics of specification languages
D. Bjørner · 2007
Formal methods in programming and their applicationsD. Bjørner
Formal methods in programming and their applications
D. Bjørner · 1993
The Vienna development methodD. Bjørner
The Vienna development method
D. Bjørner · 1978
The Vienna development methodD. Bjørner
The Vienna development method
D. Bjørner · 1978