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

Author/Creator TACAS (Conference), 24th

1. Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings.: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Part I (2018)

Editors:: Beyer, Dirk, 1972-; Huisman, Marieke
Other Names:: TACAS (Conference), 24th; ETAPS (Conference), 21st
Record Type:: Book
Extent:: 1 online resource (xx, 429 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings.: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Part II (2018)

Editors:: Beyer, Dirk, 1972-; Huisman, Marieke
Other Names:: TACAS (Conference), 24th; ETAPS (Conference), 21st
Record Type:: Book
Extent:: 1 online resource (xx, 465 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗