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 of infinite-state systems with applications to security /
Bibliographical information (record 128513)
Help
Verification of infinite-state systems with applications to security /
Publisher:
IOS Press,
ISBN:
 1586035703
Edition:
 c2006.
Classification:
 Q 295
Additional related names
Detailed notes
    - Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
    - Includes bibliographical references and author index.
Related links
Items (1)
Barcode
Status
Library
Section
3341288021
Item available
NEU Grand Library2nd Floor (Q 295 V47 2006)
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.