Theories of programming and formal m...
Woodcock, Jim.

 

  • Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Theories of programming and formal methods/ edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.
    Reminder of title: essays dedicated to Jifeng He on the Occasion of His 70th Birthday /
    other author: Liu, Zhiming.
    Published: Berlin, Heidelberg :Springer Berlin Heidelberg : : 2013.,
    Description: xii, 413 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Computer programming. -
    Online resource: http://dx.doi.org/10.1007/978-3-642-39698-4
    ISBN: 9783642396984 (electronic bk.)
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login