Catalog

Record Details

Catalog Search


Search Results Showing Item 6 of 129

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

Liu, Zhiming. (editor.). Woodcock, Jim. (editor.). Zhu, Huibiao. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642396984
  • Physical Description: electronic
    electronic resource
    access
    remote
    XII, 413 p. 86 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Subject: Computer science
Software engineering
Information theory
Computer simulation
Computer Science
Theory of Computation
Software Engineering
Simulation and Modeling
Search Results Showing Item 6 of 129

Additional Resources