Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Ricciotti, W."'
Autor:
Asperti, A.1 asperti@cs.unibo.it, Ricciotti, W.1 ricciott@cs.unibo.it, Coen, C. Sacerdoti1 sacerdot@cs.unibo.it, Tassi, E.1 tassi@cs.unibo.it
Publikováno v:
Sādhanā: Academy Proceedings in Engineering Sciences. Feb2009, Vol. 34 Issue 1, p71-144. 74p. 1 Diagram, 2 Charts.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Formalized Reasoning, Vol 7, Iss 2, Pp 91-199 (2014)
Asperti, A, Ricciotti, W & Coen, C S 2014, ' Matita Tutorial ', Journal of Formalized Reasoning, vol. 7, no. 2, pp. 91-199 . https://doi.org/10.6092/issn.1972-5787/4651
Scopus-Elsevier
Asperti, A, Ricciotti, W & Coen, C S 2014, ' Matita Tutorial ', Journal of Formalized Reasoning, vol. 7, no. 2, pp. 91-199 . https://doi.org/10.6092/issn.1972-5787/4651
Scopus-Elsevier
This tutorial provides a pragmatic introduction to the main functionalities of the Matita interactive theorem prover, offering a guided tour through a set of not so trivial examples in the field of software specification and verification.
Journa
Journa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8ef056cd5dbaaf4e01b7b4441d1aa04
http://hdl.handle.net/11585/428166
http://hdl.handle.net/11585/428166
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.