Verwandte Artikel zu Unifying Theories of Programming: 5th International...
Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers: 8963 (Theoretical Computer Science and General Issues) - Softcover
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2015
- ISBN 10 3319148052
- ISBN 13 9783319148052
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten156
- HerausgeberNaumann David
Neu kaufen
Diesen Artikel anzeigen
EUR 49,22
EUR 14,17 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerSuchergebnisse für Unifying Theories of Programming: 5th International...
Beispielbild für diese ISBN
Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (Theoretical Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783319148052_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
ISBN 10: 3319148052
ISBN 13: 9783319148052
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783319148052
Anzahl: 1 verfügbar