Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
by
 
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175

Title
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Author
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175

ISBN
9783030021467

Edition
1st ed. 2018.

Physical Description
XII, 297 p. 83 illus. online resource.

Series
Programming and Software Engineering ; 11222

Subject Term
Software engineering.
 
Computer science.
 
Logic design.

Added Author
Bae, Kyungmin.
 
Ölveczky, Peter Csaba.

Added Corporate Author
SpringerLink (Online service)

Electronic Access
https://doi.org/10.1007/978-3-030-02146-7


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book399964-1001ONLINEElektronik Kütüphane