Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
by
Ábrahám, Erika. editor.
Title
:
Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Author
:
Ábrahám, Erika. editor.
ISBN
:
9783662436134
Edition
:
1st ed. 2014.
Physical Description
:
XII, 301 p. 75 illus. online resource.
Series
:
Programming and Software Engineering ; 8461
Subject Term
:
Computer logic.
Software engineering.
Computers.
Added Author
:
Ábrahám, Erika.
Palamidessi, Catuscia.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 489372-1001 | ONLINE | | Elektronik Kütüphane |