Chargement en cours…
Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together wi...
| Cote: | Libro Electrónico |
|---|---|
| Collectivité auteur: | |
| Autres auteurs: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
| Édition: | 1st ed. 2015. |
| Collection: | Theoretical Computer Science and General Issues,
8963 |
| Sujets: | |
| Accès en ligne: | Texto Completo |