LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. INTERNATIONAL SYMPOSIUM. 2ND 2006. (CD-ROM) ISoLA 2006

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. INTERNATIONAL SYMPOSIUM. 2ND 2006. (CD-ROM) ISoLA 2006

Item #:
003574
$109.50 - $219.00
Adding to cart… The item has been added

Details

  • Title: 2006 Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
  • Date/Location: Held 15-19 November 2006, Paphos, Cyprus.
  • IEEE #: CFP06ISO-CDR
  • ISBN: 9780769530710
  • Format: CD-ROM
  • Publisher: Institute of Electrical and Electronics Engineers (IEEE)
  • POD Publisher: Curran Associates, Inc. ( Nov 2008 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 2006 Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
  • Date/Location: Held 15-19 November 2006, Paphos, Cyprus.
  • IEEE #: CFP06ISO-CDR
  • ISBN: 9780769530710
  • Format: CD-ROM
  • Publisher: Institute of Electrical and Electronics Engineers (IEEE)
  • POD Publisher: Curran Associates, Inc. ( Nov 2008 )