Author/Creator: TACAS (Conference), 22nd - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator TACAS (Conference), 22nd

1. Tools and algorithms for the construction and analysis of systems : 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, Netherlands, April 2-8, 2016. Proceedings /: 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, Netherlands, April 2-8, 2016. Proceedings. (2016)

Editors:: Chechik, Marsha; Raskin, Jean-François, 1972-
Other Names:: TACAS (Conference), 22nd; ETAPS (Conference), 19th
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗