Relational Methods In Computer Science

 ( Book Product ) 

The calculus of relations turned into an important conceptual and methodological tool in computer science

• Relational Methods In Computer Science available on March 26 2017 from Indigo for 116.95
  
• ISBN bar code 9783211829714 ξ2 registered March 26 2017
  
• ISBN bar code 9783211829714 ξ1 registered August 06 2012
  
• Product category is Book

• Sku # 978321182971
  

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

^ (1997). 9783211829714, Springer Verlag. ISBN 9783211829714 (revised Dec 2013)
^ Relational Methods In Computer Science Indigo. ISBN 9783211829714 (revised Mar 2017)