IFIP Advances in Information and Communication Technology
© 1997
Algorithimic Languages and Calculi
Authors: Bird, Richard, Meerkens, Lambert
Buy this book
- About this book
-
The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Algorithimic Languages and Calculi
- Authors
-
- Richard Bird
- Lambert Meerkens
- Series Title
- IFIP Advances in Information and Communication Technology
- Copyright
- 1997
- Publisher
- Springer US
- Copyright Holder
- IFIP International Federation for Information Processing
- eBook ISBN
- 978-0-387-35264-0
- DOI
- 10.1007/978-0-387-35264-0
- Hardcover ISBN
- 978-0-412-82050-2
- Series ISSN
- 1868-4238
- Edition Number
- 1
- Number of Pages
- VIII, 443
- Topics
