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 (Theoretical Computer Science and General Issues, Band 8963) - Softcover

 
9783319148052: Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (Theoretical Computer Science and General Issues, Band 8963)
Softcover
ISBN 10: 3319148052 ISBN 13: 9783319148052
Verlag: Springer, 2015

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2015
Sprache
Englisch
ISBN 10 
3319148052
ISBN 13 
9783319148052
Einband
Taschenbuch
Anzahl der Seiten
156
Herausgeber
Naumann David
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland