Kód: 02937110
This book§constitutes the proceedings of the 22nd International Conference on Tools and§Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took§place in Eindhoven, The Netherlands, in April 2016, held as Pa ... celý popis
1681 Kč
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Nákupem získáte 168 bodů
This book§constitutes the proceedings of the 22nd International Conference on Tools and§Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took§place in Eindhoven, The Netherlands, in April 2016, held as Part of the§European Joint Conferences on Theory and Practice of Software, ETAPS 2016.§§The 44 full papers presented in this volume were carefully reviewed and selected§from 175 submissions. They were organized in topical sections named: abstraction§and verification; probabilistic and stochastic systems; synthesis; tool papers;§concurrency; tool demos; languages and automata; security; optimization; and§competition on software verification - SV-COMP.§
Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Algorithms & data structures
1681 Kč
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Nákupní košík ( prázdný )