From action systems to distributed systems : the refinement approach /: the refinement approach. ([2016])

• Record Type: Book
• 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.