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, Part I /

This book is Open Access under a CC BY licence. .

-д хадгалсан:
Номзүйн дэлгэрэнгүй
Байгууллагын зохиогч: SpringerLink (Online service)
Бусад зохиолчид: Beyer, Dirk (Засварлагч), Huisman, Marieke (Засварлагч)
Формат: Цахим Цахим ном
Хэл сонгох:англи
Хэвлэсэн: Cham : Springer International Publishing : Imprint: Springer, 2018.
Хэвлэл:1st ed. 2018.
Цуврал:Theoretical Computer Science and General Issues, 10805
Нөхцлүүд:
Онлайн хандалт:Link to Metadata
Шошгууд: Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
Тодорхойлолт
Тойм:This book is Open Access under a CC BY licence. .
Биет тодорхойлолт:XX, 429 p. 93 illus. online resource.
ISBN:9783319899602
ISSN:2512-2029 ;
DOI:10.1007/978-3-319-89960-2
Хандалт:Open Access