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  
  Brief display     MARC Display     Reserve  
Formal methods for eternal networked software systems :
Bibliographical information (record 315878)
Help
Formal methods for eternal networked software systems :
Subtitle:
11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures /
Publisher:
Springer,
ISBN:
9783642214547 (pbk. : acid-free paper)
Edition:
2011.
Classification:
QA76.758
Additional related names
Detailed notes
    - Includes bibliographical references and index.
Related links
Items (1)
Barcode
Status
Library
Section
7212503039
Item available
Yeniboğaziçi Grand LibraryN/A (QA76.758 .F67 2011)
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.