1
Publicado 2010
Table of Contents: ... by Means of a Hybrid Functional and Imperative Language -- Hierarchical Place Trees: A Portable Abstraction...
Ligazón do recurso
Electrónico eBook
2
Publicado 2015
Table of Contents: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
Ligazón do recurso
Electrónico eBook