eclectOpac » Blog Archive » Hardware and software, verification and testing third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings

Feed on: Posts; Comments

Proceedings of the Second Workshop on Theory Meets Industry: Erwin-Schrödinger-Institute (ESI), Vienna, Austria, 12-14 June 2007 »

Hardware and software, verification and testing third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings

Jan 1st, 2009 by Karen Yorav (ed.)

Titles
- Hardware and software, verification and testing third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings
- 3rd
- HVC 2007
- Lecture notes in computer science, 0302-9743; 4899
- LNCS sublibrary. SL 2, Programming and software engineering
- SpringerLink (E-books)
Attribution

Karen Yorav (ed.)
Publication Details

E-Resource, Springer-Verlag, 2008
Availability
Call Number
- QA76.76.V47 I54 2007eb (lc)
Authors
- International Haifa Verification Conference (3rd: 2007: Haifa, Israel)
- Yorav, Karen
Genre
- Congresses
Subject
Notes
- Access restricted to subscribers
ISBN
- 9783540779643
- 3540779647
Similar Items

Related items

Posted in eclectOpac

Leave a Reply