Refine your search


You are not logged in Show Basket
  Home     Advanced Search     Back  
Catalogue Search Results

You searched: |  Author = Bernardo, Marco,,  | 
Results: 1 found in 0.004 seconds

 
Title
Author
Publisher Edition
Shelf
At
0
Formal methods for eternal networked software systems :
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 /
ISBN: 9783642214547 (pbk. : acid-free paper)
Springer, 2011. QA76.758 .F67 2011 Yeniboğaziçi Grand Library[General Collection]
Available
Quick search
Term:
Full phrase Any word

Results 1 - 10 of 1 records.
New search | Back to the last search


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.