Catalog

Record Details

Catalog Search


Back To Results
Showing Item 4 of 11

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday  Cover Image E-book E-book

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).

Record details

  • ISBN: 9783642396984
  • Physical Description: 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.

Electronic resources


Back To Results
Showing Item 4 of 11

Additional Resources