Enlarge

Formal techniques for distributed objects, components, and systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed C

Publication Data

Title Formal techniques for distributed objects, components, and systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed C
Contributors Susanne Graf, Mahesh Viswanathan, IFIP Working Group 6.1
Publisher Springer
Publication date 2015
Publication location Cham
Language English

Topics

Electronic data processing :: Distributed processing :: Congresses
Formal methods (Computer science) :: Congresses
Computer network protocols :: Congresses

Catalogue Data

OBNB ID GBB5F5659
ISBN 10 3319191942
ISBN 13 9783319191942
Type BibliographicResource, Book
Dewey Classification 004.36

ISBD

P1053 xii, 243 pages
P1042 Includes bibliographical references and author index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Formal techniques for distributed objects, components, and systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed C. ISBN 9783319191942. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.