Verification and evaluation of computer and communication systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings /: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings. (2019)

Record Type:
Book
Title:
Verification and evaluation of computer and communication systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings /: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings. (2019)
Main Title:
Verification and evaluation of computer and communication systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Other Titles:
VECoS 2019
Further Information:
Note: Pierre Ganty, Mohamed Kaâniche (eds.).
Editors:
Ganty, Pierre
Kaâniche, Mohamed
Other Names:
VECoS (Conference), 13th
Contents:
Publisher Details:
Cham, Switzerland : Springer
Publication Date:
2019
Copyright Date:
2019
Extent:
1 online resource (xiii, 111 pages), illustrations
Subjects:
004/.36
Computer networks -- Evaluation -- Congresses
Computer software -- Verification -- Congresses
Languages:
English
ISBNs:
9783030350925
3030350924
Related ISBNs:
9783030350918
Notes:
Note: Includes bibliographical references and author index.
Note: Description based on online resource (SpringerLink, viewed January 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.471664
Ingest File:
03_026.xml