Search

Author/Creator TACAS (Conference), 23rd

1. Tools and algorithms for the construction and analysis of systems. 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Part II : (2017)

Editors:
Legay, Axel; Margaria-Steffen, Tiziana, 1964-
Other Names:
TACAS (Conference), 23rd; ETAPS (Conference), 20th, jointly held conference
Record Type:
Book
Extent:
1 online resource (xxiv, 411 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. 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Part I : (2017)

Editors:
Legay, Axel; Margaria-Steffen, Tiziana, 1964-
Other Names:
TACAS (Conference), 23rd; ETAPS (Conference), 20th, jointly held conference
Record Type:
Book
Extent:
1 online resource (xxiv, 609 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search