English
Türkçe
NEU GRAND LIBRARY
Opening Hours: Monday-Saturday, 08:00-20:00 |
E-mail: library@neu.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)
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
-
Computer science
-
Logic design
-
Software engineering
-
Logics and Meanings of Programs.
Items (1)
Barcode
Status
Library
Section
7634595980
Item available
Yeniboğaziçi Grand LibraryN/A (QA76.5 .V47 2009)
General Collection
NEAR EAST UNIVERSITY GRAND LIBRARY +90 (392) 223 64 64 Ext:5536. Near East Boulevard, Nicosia, TRNC
This software is developed by
NEU Library
and it is based on Koha OSS
conforms to MARC21 library data transfer rules.