1
Vydáno 2010
Obsah: ... by Means of a Hybrid Functional and Imperative Language -- Hierarchical Place Trees: A Portable Abstraction...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2015
Obsah: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání