Relational Methods in Computer Science par Chris Brink

Titre de livre: Relational Methods in Computer Science

Auteur: Chris Brink

Broché: 272 pages

Date de sortie: October 4, 2013

ISBN: 3211829717

Éditeur: Springer Verlag GmbH

Téléchargez ou lisez le livre Relational Methods in Computer Science de Chris Brink au format PDF et EPUB. Ici, vous pouvez télécharger gratuitement tous les livres au format PDF ou Epub. Utilisez le bouton disponible sur cette page pour télécharger ou lire un livre en ligne.

Relational Methods in Computer Science par Chris Brink

Chris Brink avec Relational Methods in Computer Science

Relational Methods in Computer Science The calculus of relations turned into an important conceptual and methodological tool in computer science. This book presents methods that include questions of relational databases, applications to program specification, resource-conscious linear logic, nonclassical logics for reasoning about programs, and more. Full description