Výsledky vyhledávání - "Castanho, Daniel"

Report

Auto-active Verification of Graph Algorithms, Written in OCaml

Functional programming offers the perfect ground for building correct-by-construction software. Languages of such paradigm normally feature state-of-the-art type systems, good abstraction mechanisms, and well-defined execution models. We claim that a

Externí odkaz: http://arxiv.org/abs/2207.09854

Zobrazit plný text záznamu

Evaluation of the cutting capacity of an asymmetric rotating system During biomechanical preparation, when its cutting and relaxation angles are changed

Autor: Castanho, Daniel Cassio Oliveira

Publikováno v: Repositório Institucional da UNESP
Universidade Estadual Paulista (UNESP)
instacron:UNESP

Submitted by Daniel Cássio De Oliveira Castanho (daniel.cassio@unesp.br) on 2021-01-22T17:51:47Z No. of bitstreams: 1 Dissert. mestrado daniel (1).pdf: 2251506 bytes, checksum: 0812a9701f3591779d75fb307afded66 (MD5) Approved for entry into archive b

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::9775708617cfea69083db42ea1f57b01

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání