Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Unifying Theories of Programming
4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
249 Seiten, Taschenbuch
€ 50,60
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| ISBN | 9783642357046 |
| Sprache | Englisch |
| Erscheinungsdatum | 04.01.2013 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer Berlin |
| Herausgegeben von | Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi |
| Lieferzeit | Lieferbar in 6 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
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.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| ISBN | 9783642357046 |
| Sprache | Englisch |
| Erscheinungsdatum | 04.01.2013 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer Berlin |
| Herausgegeben von | Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi |
| Lieferzeit | Lieferbar in 6 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?