Check nearby libraries
Buy this book
The calculus of relations turned into an important conceptual and methodological tool in computer science. The methods presented in this book include questions of relational databases, applications to program specification, resource-conscious linear logic, semantic and refinement consideration, nonclassical logics for reasoning about programs, tabular methods in software construction, algorithm development, linguistic problems, followed by a comprehensive bibliography.
The reader gets an overview of the wide-ranging applicability of relational methods in computer science.
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Relational Methods in Computer Science (Advances in Computing Sciences)
April 14, 1997, Springer
Paperback
in English
- 1 edition
3211829717 9783211829714
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Source records
Internet Archive item recordBetter World Books record
Promise Item
marc_nuls MARC record
amazon.com record
Internet Archive item record
marc_columbia MARC record
Work Description
The calculus of relations turned into an important conceptual and methodological tool in computer science. The methods presented in this book include questions of relational databases, applications to program specification, resource-conscious linear logic, semantic and refinement consideration, nonclassical logics for reasoning about programs, tabular methods in software construction, algorithm development, linguistic problems, followed by a comprehensive bibliography. The reader gets an overview of the wide-ranging applicability of relational methods in computer science." ... While this is a multi-authored volume, the authors have done an excellent job of making it read like a single-authored work ... The book can be viewed as a set of snapshots of a family of research and researchers at one point in time. If you are interested in relational problems, I can think of no better introduction ..." Computing Reviews.
Community Reviews (0)
Feedback?History
- Created April 30, 2008
- 13 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
August 7, 2024 | Edited by MARC Bot | import existing book |
January 18, 2024 | Edited by MARC Bot | uppercase bwbsku local_id |
May 17, 2023 | Edited by ImportBot | import existing book |
April 5, 2023 | Edited by ImportBot | import existing book |
April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |