Formal modeling and analysis of time...
Jurdzinski, Marcin.

Linked to FindBook      Google Book      Amazon      博客來     
  • Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings /
  • Record Type: Electronic resources : Monograph/item
    Title/Author: Formal modeling and analysis of timed systems/ edited by Marcin Jurdzinski, Dejan Nickovic.
    Reminder of title: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings /
    remainder title: FORMATS 2012
    other author: Jurdzinski, Marcin.
    Published: Berlin, Heidelberg :Springer Berlin Heidelberg : : 2012.,
    Description: 266 p. :ill., digital ;24 cm.
    Contained By: Springer eBooks
    Subject: Computer simulation - Congresses. -
    Online resource: http://dx.doi.org/10.1007/978-3-642-33365-1
    ISBN: 9783642333651 (electronic bk.)
Location:  Year:  Volume Number: 
Items
  • 1 records • Pages 1 •
 
W9151237 電子資源 11.線上閱覽_V 電子書 EB QA76.9.C65 F67 2012 一般使用(Normal) On shelf 0
  • 1 records • Pages 1 •
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login