Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
by
Guan, Nan. editor.
Title
:
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Author
:
Guan, Nan. editor.
ISBN
:
9783030355401
Edition
:
1st ed. 2019.
Physical Description
:
XIII, 139 p. 135 illus., 23 illus. in color. online resource.
Series
:
Programming and Software Engineering ; 11951
Subject Term
:
Software engineering.
Computer organization.
Microprogramming .
Computer logic.
Mathematical logic.
Added Author
:
Guan, Nan.
Katoen, Joost-Pieter.
Sun, Jun.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 483548-1001 | ONLINE | | Elektronik Kütüphane |