Integrated model of distributed systems. ([2020])
- Record Type:
- Book
- Title:
- Integrated model of distributed systems. ([2020])
- Main Title:
- Integrated model of distributed systems
- Further Information:
- Note: Wiktor B. Daszczuk.
- Authors:
- Daszczuk, Wiktor B
- Contents:
- Preface.- Acknowledgments.- Chapter 1. Introduction.- Chapter 2. Related work on deadlock and termination detection techniques.- Chapter 3. Integrated Model of Distributed Systems.- Chapter 4. Model Checking of IMDS specifications in the Dedan environment.- etc.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2020
- Extent:
- 1 online resource (xviii, 238 pages)
- Subjects:
- 004.6
Electronic data processing -- Distributed processing
Electronic books - Languages:
- English
- ISBNs:
- 9783030128357
3030128350 - Related ISBNs:
- 9783030128340
- Notes:
- Note: Includes bibliographical references.
Note: Online resource; title from PDF title page (SpringerLink, viewed March 25, 2019). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.399884
- Ingest File:
- 02_434.xml