Formal aspects of component software : 16th International Conference, FACS 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings /: 16th International Conference, FACS 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings. (2020)

Record Type:
Book
Title:
Formal aspects of component software : 16th International Conference, FACS 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings /: 16th International Conference, FACS 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings. (2020)
Main Title:
Formal aspects of component software : 16th International Conference, FACS 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings
Further Information:
Note: Farhad Arbab, Sung-Shik Jongmans (eds.).
Editors:
Arbab, F (Farhad)
Jongmans, Sung-Shik
Other Names:
FACS (Symposium), 16th
Contents:
Publisher Details:
Cham, Switzerland : Springer
Publication Date:
2020
Copyright Date:
2020
Extent:
1 online resource (x, 261 pages), illustrations
Subjects:
004.01/51
Formal methods (Computer science) -- Congresses
Component software -- Congresses
Software engineering -- Congresses
Electronic books
Languages:
English
ISBNs:
9783030409142
3030409147
Related ISBNs:
9783642357428
Notes:
Note: Includes bibliographical references and author index.
Note: Description based on online resource (SpringerLink, viewed March 2, 2020).
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.491497
Ingest File:
03_053.xml