Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Gespeichert in:
1. Verfasser:
Liu, Zhiming
Weitere Verfasser:
Woodcock, Jim (HerausgeberIn), Zhu, Huibiao (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2013
Umfang:
XII, 413 p. 86 illus
ISBN:
9783642396984
ISSN:
0302-9743
Schlagworte:
Computer science
Software engineering
Information theory
Computer simulation
Bezugswerke:
Links: