Description: Formal Techniques for Distributed Objects, Components, and Systems by Susanne Graf, Mahesh Viswanathan This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods. Table of Contents Ensuring Properties of Distributed Systems.- Formal Models of Concurrent and Distributed Systems.- Real Time Systems.- Security.- Efficient Verification Techniques. Feature Includes supplementary material: sn.pub/extras Details ISBN3319191942 Year 2015 ISBN-10 3319191942 ISBN-13 9783319191942 Format Paperback Short Title FORMAL TECHNIQUES FOR DISTRIBU Pages 245 Language English Media Book Series Number 9039 Imprint Springer International Publishing AG Place of Publication Cham Country of Publication Switzerland Edited by Mahesh Viswanathan Edition 2015th Subtitle 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings Illustrations 47 Illustrations, black and white; XII, 245 p. 47 illus. DOI 10.1007/978-3-319-19195-9 Publication Date 2015-05-13 UK Release Date 2015-05-13 Author Mahesh Viswanathan Publisher Springer International Publishing AG Edition Description 2015 ed. DEWEY 004.36 Audience Professional & Vocational Series Programming and Software Engineering We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96289195;
Price: 121.23 AUD
Location: Melbourne
End Time: 2025-01-05T07:17:03.000Z
Shipping Cost: 51.77 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783319191942
Book Title: Formal Techniques for Distributed Objects, Components, and System
Item Height: 235 mm
Item Width: 155 mm
Author: Susanne Graf, Mahesh Viswanathan
Publication Name: 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 Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Format: Paperback
Language: English
Publisher: Springer International Publishing Ag
Subject: Computer Science
Publication Year: 2015
Type: Textbook
Item Weight: 3985 g
Number of Pages: 245 Pages