Author/Creator: Aichernig, Bernhard K, 1969- - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Aichernig, Bernhard K, 1969-

1. Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings /: 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings. (2016)

Editors:: Aichernig, Bernhard K, 1969-; Furia, Carlo A, 1979-
Other Names:: TAP (Conference), 10th; STAF (Federation of conferences)
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗