From action systems to distributed systems : the refinement approach /: the refinement approach. ([2016])
- Record Type:
- Book
- Title:
- From action systems to distributed systems : the refinement approach /: the refinement approach. ([2016])
- Main Title:
- From action systems to distributed systems : the refinement approach
- Further Information:
- Note: Edited by Luigia Petre, Åbo Akademi University, Turku, Finland, Emil Sekerinski, McMaster University, Hamilton Canada.
- Editors:
- Petre, Luigia, 1974-
Sekerinski, E (Emil), 1963- - Contents:
- 1. Modeling -- 2. Analysis -- 3. Proof -- 4. Refinement -- 5. Applications.
- Publisher Details:
- Boca Raton, FL : CRC Press
- Publication Date:
- 2016
- Copyright Date:
- 2016
- Extent:
- 1 online resource (xxviii, 271 pages), illustrations
- Subjects:
- 005.4
Systems software
COMPUTERS / Software Development & Engineering / Systems Analysis & Design
Systems software
Electronic books
Electronic books - Languages:
- English
- ISBNs:
- 9781498701594
1498701590 - Related ISBNs:
- 9781498701587
1498701582 - Notes:
- Note: Includes bibliographical references.
Note: Description based on print version record. - 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.138206
- Ingest File:
- 01_016.xml