![Cover image for Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday Cover image for Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Author:
Liu, Zhiming. editor.
ISBN:
9783642396984
Physical Description:
XII, 413 p. 86 illus. online resource.
Series:
Lecture Notes in Computer Science, 8051
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-39698-4Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 334837-1001 | ONLINE(334837.1) | Searching... | Searching... |