Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
by
Beyer, Dirk. editor.
Title
:
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Author
:
Beyer, Dirk. editor.
ISBN
:
9783642385926
Physical Description
:
XIV, 321 p. 66 illus. online resource.
Series
:
Lecture Notes in Computer Science, 7892
Subject Term
:
Computer science.
Software engineering.
Logic design.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
Added Author
:
Boreale, Michele.
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 | 334630-1001 | ONLINE(334630.1) | | Elektronik Kütüphane |