Kód: 49570174
Nock is the exemplar of a class of "solid-state computing" approaches intended to make general-purpose computing deterministic and amenable to reasoning at multiple levels. Nock's first practical application was in the specificati ... celý popis
Angličtina
Nákupem získáte 51 bodů
Anotace knihy
Nock is the exemplar of a class of "solid-state computing" approaches intended to make general-purpose computing deterministic and amenable to reasoning at multiple levels. Nock's first practical application was in the specification of the Hoon programming language and then in development of the Urbit operating system. More recently, Nock has been employed on the Nockchain zero-knowledge virtual machine due to its mathematical properties and the elegant concision of its proofs. In this issue of the Urbit Systems Technical Journal, we explore the ramifications of Nock and the neighboring configuration space of solid-state computing paradigms.
Parametry knihy
Zařazení knihy Knihy v němčině Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik, EDV - Allgemeines
509 Kč
AngličtinaOsobní odběr Praha, Brno a 46795 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)Nákupní košík ( prázdný )