English
Türkçe
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
Runtime verification :
Bibliographical information (record 330977)
Runtime verification :
Subtitle:
7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /
Publisher:
Springer,
ISBN:
9783540773948 (pbk.)
Edition:
c2007.
Classification:
QA76.758
URL:
http://dx.doi.org/10.1007/978-3-540-77395-5
Additional related names
-
Sokolsky, Oleg.
-
Tasiran, Serdar.
Detailed notes
- Includes bibliographical references and author index.
Related links
-
Formal methods (Computer science)
-
Computer software
-
Computer software
-
Conference papers and proceedings.
Items (1)
Barcode
Status
Library
Section
7328678907
Item available
Yeniboğaziçi Grand LibraryN/A (QA76.758 S65 2007)
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.