Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
by
 
Ölveczky, Peter Csaba. editor.

Title
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Author
Ölveczky, Peter Csaba. editor.

ISBN
9783030304461

Edition
1st ed. 2019.

Physical Description
XVIII, 550 p. 910 illus., 89 illus. in color. online resource.

Series
Theoretical Computer Science and General Issues ; 11724

Subject Term
Software engineering.
 
Programming languages (Electronic computers).
 
Computers.
 
Artificial intelligence.
 
Computer simulation.

Added Author
Ölveczky, Peter Csaba.
 
Salaün, Gwen.

Added Corporate Author
SpringerLink (Online service)

Electronic Access
https://doi.org/10.1007/978-3-030-30446-1


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