Model checking software8th Internati...
(1998 :)

 

  • Model checking software8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
  • Record Type: Electronic resources : Monograph/item
    Title/Author: Model checking softwareMatthew Dwyer (ed.).
    Reminder of title: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
    other author: Dwyer, Matthew.
    corporate name:
    Published: New York :Springer,c2001.
    Description: x, 311 p. :digital ;23 cm.
    Series: Lecture notes in computer science ;
    Contained By: Springer e-books
    Subject: Computer softwareCongresses.Verification
    Online resource: http://dx.doi.org/10.1007/3-540-45139-0
    ISBN: 9783540421245 (paper)
Items
  • 1 records • Pages 1 •
 
000000046153 電子館藏 1圖書 電子書 EB QA76.76.V47 I58 2001 c2001. 一般使用(Normal) On shelf 0  
  • 1 records • Pages 1 •
Reviews
Export
pickup library
 
 
Change password
Login