Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
processing certified » processing certificate, producing certified, processing simplified
certified function » fortified functional
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
processing certified » processing certificate, producing certified, processing simplified
certified function » fortified functional
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Veröffentlicht 2015
Inhaltsangabe:
“... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2010
Inhaltsangabe:
“... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2015
Inhaltsangabe:
“... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2014
Inhaltsangabe:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2005
Inhaltsangabe:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Volltext
Elektronisch
E-Book