Unifying Theories of Programming | 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Cet article n’est pas disponible.
Langue : anglais
Edité par Springer, 2015
- Livre broché
- Neuf
Vendeur : preigu, Osnabrück, Allemagnepreigu
Vendeur avec une évaluation de 5 étoiles
Vendeur AbeBooks depuis 5 août 2024
Indisponible
Livre broché
Etat: Neuf
EUR 41,50
A propos de cet article
Unifying Theories of Programming | 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers | David Naumann | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2015 | Springer | EAN 9783319148052 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
N° de réf. du vendeur 104938217
- Titre
- Unifying Theories of Programming | 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
- Auteur
- David Naumann
- Éditeur
- Springer
- Année de publication
- 2015
- État de l'article
- Neu
- Reliure
- Taschenbuch
- Langue
- anglais
- ISBN à 10 chiffres
- 3319148052
- ISBN à 13 chiffres
- 9783319148052
- Poids de l'article
- 248 grammes
- Dimensions
- 235 x 155 x 9 mm
- Catalogues du vendeur
- Bücher
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 with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.
« Synopsis » peut appartenir à une autre édition de cet ouvrage.
À propos de la quatrième de couverture
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 with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.
« A propos de ce titre » peut appartenir à une autre édition de cet ouvrage.
Résultats de recherche pour Unifying Theories of Programming | 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Il reste 3 exemplaires de ce livre.Afficher tous les résultats