Relational and Algebraic Methods in Computer Science, 1st ed. 2017 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateurs : Höfner Peter, Pous Damien, Struth Georg
The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
Includes supplementary material: sn.pub/extras
Includes supplementary material: sn.pub/extras
Date de parution : 04-2017
Ouvrage de 323 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThème de Relational and Algebraic Methods in Computer Science :
Mots-clés :
big software; dynamic systems; open source software; probabilistic semantics; semantics; boolean algebra; coalgebras; concurrency; constraint satisfaction; graph transformation; information flow; information systems design; isabelle/hol; partial order; programming language; security; software development; source code; temporal logic; xml documents