Language: English
Published by The MIT Press Bookstore, 2014
ISBN 10: 0262027712 ISBN 13: 9780262027717
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 392.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: English
Published by The MIT Press Bookstore, 2014
ISBN 10: 0262027712 ISBN 13: 9780262027717
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. pp. 392 65 Illus.
Language: English
Published by The MIT Press Bookstore, 2014
ISBN 10: 0262027712 ISBN 13: 9780262027717
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. pp. 392.
Condition: New.
PF. Condition: New.
Condition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Condition: New.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Condition: As New. Unread book in perfect condition.
Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Paperback. Condition: New.
Condition: NEW.
Condition: As New. Unread book in perfect condition.
Condition: New.
Paperback. Condition: New.
Language: English
Published by Springer International Publishing AG, CH, 2022
ISBN 10: 3031086783 ISBN 13: 9783031086786
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Paperback. Condition: New. 1st ed. 2022. This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.
Paperback. Condition: New.
Condition: New.
Condition: New.
Condition: New. pp. 196.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.