Formal aspects of component software...
Arbab, Farhad.

Linked to FindBook      Google Book      Amazon      博客來     
  • Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
  • Record Type: Electronic resources : Monograph/item
    Title/Author: Formal aspects of component software/ edited by Farhad Arbab, Peter Csaba Olveczky.
    Reminder of title: 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
    remainder title: FACS 2011
    other author: Arbab, Farhad.
    Published: Berlin, Heidelberg :Springer Berlin Heidelberg : : 2012.,
    Description: x, 367 p. :ill., digital ;24 cm.
    Contained By: Springer eBooks
    Subject: Formal methods (Computer science) -
    Online resource: http://dx.doi.org/10.1007/978-3-642-35743-5
    ISBN: 9783642357435 (electronic bk.)
Location:  Year:  Volume Number: 
Items
  • 1 records • Pages 1 •
  • 1 records • Pages 1 •
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login