Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Jim Woodcock, Victor Bandur (auth.), Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.)This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.
Catégories:
Année:
2013
Edition:
1
Editeur::
Springer-Verlag Berlin Heidelberg
Langue:
english
Pages:
249
ISBN 10:
3642357059
ISBN 13:
9783642357053
Collection:
Lecture Notes in Computer Science 7681
Fichier:
PDF, 2.19 MB
IPFS:
,
english, 2013
Ce livre ne peut être téléchargé en raison d'une plainte du titulaire d'un droit
Beware of he who would deny you access to information, for in his heart he dreams himself your master
Convertissez des fichiers
Plus de résultats de recherche
Autres avantages 
