Relational Methods in Computer Science (Advances in Computing Sciences)
1 edition
Our rough guess is there are 68,000 words in this book.
At a pace averaging 250 words per minute, this book will take 4 hours and 32 minutes to read. With a half hour per day, this will take 9 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
Author
Contributions
- Chris Brink (Editor) - Contributor
- Wolfram Kahl (Editor) - Contributor
- Gunther Schmidt (Editor) - Contributor
Publication
1997-04-14 - Springer
Language
English
Word Count
68,000 words, Guess
Page Count
272 pages
Physical Format
Paperback
Identifiers
- Open LibraryOL9453852M
- ISBN-139783211829714
- ISBN-103211829717
- OCLC Control Number37392219
- OCLC Control Numberrelationalmethod00jips
and 2 more
- Goodreads4966447
- LibraryThing5682446
Classifications
- LCCQA75.5-76.95
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.
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.
Subjects
Topics
Similar Books
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!