| Recent Trends in Data Type Specification |
- isbn : 978-3-540-48361-8
- pisbn : 978-3-540-57867-3
|
Fulltext
|
| Logics of Programs and Their Applications |
- isbn : 978-3-540-39445-7
- pisbn : 978-3-540-11981-4
|
Fulltext
|
| STACS 93 |
- isbn : 978-3-540-47574-3
- pisbn : 978-3-540-56503-1
|
Fulltext
|
| The Generic Development Language Deva |
- isbn : 978-3-540-48067-9
- pisbn : 978-3-540-57335-7
|
Fulltext
|
| Extensions of Logic Programming |
- isbn : 978-3-540-47562-0
- pisbn : 978-3-540-56454-6
|
Fulltext
|
| VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings |
- isbn : 978-3-540-46449-5
- pisbn : 978-3-540-54834-8
|
Fulltext
|
| Parallelization in Inference Systems |
- isbn : 978-3-540-47066-3
- pisbn : 978-3-540-55425-7
|
Fulltext
|
| Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 |
- isbn : 978-3-540-39307-8
- pisbn : 978-3-540-15199-9
|
Fulltext
|
| Mathematical Studies of Information Processing |
- isbn : 978-3-540-35010-1
- pisbn : 978-3-540-09541-5
|
Fulltext
|
| Methods of Algorithmic Language Implementation |
- isbn : 978-3-540-37510-4
- pisbn : 978-3-540-08065-7
|
Fulltext
|