Unifying Theories of Programming, 2015 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers Theoretical Computer Science and General Issues Series
Coordonnateur : Naumann David
Up-to-date results
Fast track conference proceedings
State-of-the-art report
Includes supplementary material: sn.pub/extras
Date de parution : 02-2015
Ouvrage de 143 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 42,20 €
Ajouter au panierThème d’Unifying Theories of Programming :
Mots-clés :
Algebraic Semantics; CSP; Co-operating; Computational Model; Formal Methods; Formal Software Verification; Galois connections; Isabelle/HOL; Language Classification; Modeling; Models of computation; Object-oriented programming; Program Constructs; Program Semantics; Programming Languages; Semantics; Semantics and Reasoning; Simulation; UTP