Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
by
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Title
:
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Author
:
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
ISBN
:
9783030311575
Edition
:
1st ed. 2019.
Physical Description
:
X, 207 p. 339 illus., 34 illus. in color. online resource.
Series
:
Programming and Software Engineering ; 11823
Subject Term
:
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Computer system failures.
Added Author
:
Beyer, Dirk.
Keller, Chantal.
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 | 482859-1001 | ONLINE | | Elektronik Kütüphane |