[Lecture Notes in Mathematics] Characterizations of Probability Distributions Volume 675 || Characterizations of the poisson process
- 作者Galambos, Janos; Kotz, Samuel
- 文件大小2020.67KB
- 发表时间1978
- DOI10.1007/BFb0069534
- 页码64-102
[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