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, Lecture Notes in Computer Science 11823 - Programming and Software Engineering
ISBN/EAN: | 9783030311568 |
---|---|
Sprache: | Englisch |
Umfang: | x, 207 S., 305 s/w Illustr., 34 farbige Illustr., |
Einband: | kartoniertes Buch |
Erschienen am
11.09.2019