Screen LibraryTools and algorithms for the construction and analysis of systems : 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, proceedings. Part I /
Saved in:
| Corporate Authors: | ; |
|---|---|
| Group Author: | ; |
| Published: |
Springer Open,
|
| Publisher Address: | Cham, Switzerland : |
| Publication Dates: | [2019] |
| Literature type: | Book |
| Language: | English |
| Series: |
Lecture notes in computer science,
11427 LNCS sublibrary. |
| Subjects: | |
| Carrier Form: | xxiii, 433 pages : illustrations ; 24 cm. |
| Bibliography: | Includes bibliographical references and author index. |
| ISBN: |
9783030174613 3030174611 |
| CLC: |
TP311.52-532 TP316.4-532 TP338.8-532 |
| Call Number: | TP338.8-532/T671/2019/pt.1 |