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
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 11.09.2019
Umfang: x, 207 S., 305 s/w Illustr., 34 farbige Illustr.,
Sprache: ENG
Einband: KT
ISBN/EAN: 9783030311568
Umbreit-Nr.: 7880205
