|
|
|
|
Formal methods for eternal networked software systems : |
|
|
|
Bibliographical information (record 315878) |
|
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 |
|
|
- Includes bibliographical references and index.
|
|
|
Barcode |
Status |
Library |
Section |
7212503039
|
Item available
|
Yeniboğaziçi Grand LibraryN/A (QA76.758 .F67 2011)
|
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.
|
|