[Lecture Notes in Mathematics] On Automorphisms of Siegel Domains Volume 286 || Generalised Siegel domains
- 作者Murakami, Shingo
- 文件大小332.15KB
- 发表时间1972
- DOI10.1007/BFb0058572
- 页码29-34
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Experience with FORTRAN VERIFIERNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || A user interface design tool.Nichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Formal specifications, prototyping and integration testsNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || TRICS: A testing tool for CNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Automatic program synthesis from data structuresNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || PantaPM: an integrated software development environmentNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Configuration management in an open environmentNichols, Howard; Simpson, Dan · 1987
[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Software design automation in an IPSENichols, Howard; Simpson, Dan · 1987