Title:
Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Author:
Naumann, David. editor.
ISBN:
9783319148069
Edition:
1st ed. 2015.
Physical Description:
XI, 143 p. 10 illus. online resource.
Series:
Theoretical Computer Science and General Issues, 8963
Contents:
Numerous formal notations.- Theories of programming -- Abstraction -- Refinement -- Choice -- Termination -- Feasibility -- Locality -- Concurrency and communication.
Added Author:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-319-14806-9Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 519138-1001 | XX(519138.1) | Searching... | Searching... |