Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, Canada
類似資料:
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag |
9
電子ブック
Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
Springer-Verlag | |
10
電子ブック
ESOP '90 : 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings
Springer-Verlag | |
Springer-Verlag | |
Springer-Verlag |