University of Kyrenia Grand Library
Opening Hours: Monday-Saturday, 08:00-20:00 | E-mail: grand.library@kyrenia.edu.tr
 

You are not logged in Show Basket
  Home     Advanced Search     Back  
Print
Add to Basket
  Brief display     MARC Display     Reserve  
Verification, Model Checking, and Abstract Interpretation :
Bibliographical information (record 336259)
Help
Verification, Model Checking, and Abstract Interpretation :
Subtitle:
 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20 2009. Proceedings/
Publisher:
Springer Berlin Heidelberg,
ISBN:
 9783540939009
Edition:
 2009.
Classification:
 QA76.5
Related links
Items (1)
Barcode
Status
Library
Section
7634595980
Item available
Yeniboğaziçi Grand LibraryN/A (QA76.5 .V47 2009)
General Collection
UNIVERSITY OF KYRENIA LIBRARY +90 (392) 680 20 28. Near East Boulevard, Kyrenia, TRNC
This software is developed by NEU Library and it is based on Koha OSS
conforms to MARC21 library data transfer rules.