Kód: 01654238
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
Nákupem získáte 167 bodů
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
Zařazení knihy Knihy v angličtině Computing & information technology Computer networking & communications Distributed systems
1665 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ý )