Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Hähnle, Reiner.
Overview
Works:
1 works in 1 publications in 1 languages
Titles
The logic of software = a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday /
by: Hähnle, Reiner.; Ahrendt, Wolfgang.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer logic.
Software Engineering.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Processing
...
Change password
Login
