Structured object-oriented formal la...
Duan, Zhenhua.

 

  • Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Structured object-oriented formal language and method/ edited by Shaoying Liu, Zhenhua Duan.
    Reminder of title: third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
    other author: Liu, Shaoying.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Cham :Springer International Publishing : : 2014.,
    Description: x, 193 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Formal methods (Computer science) -
    Online resource: http://dx.doi.org/10.1007/978-3-319-04915-1
    ISBN: 9783319049151 (electronic bk.)
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login