Calcul de programmes parallèles avec Coq - Inria - Institut national de recherche en sciences et technologies du numérique
Book Sections Year : 2015

Calcul de programmes parallèles avec Coq

Domains

Distributed, Parallel, and Cluster Computing [cs.DC] Programming Languages [cs.PL] Software Engineering [cs.SE] Logic in Computer Science [cs.LO]

Frédéric Loulergue  : Connect in order to contact the contributor

https://inria.hal.science/hal-01107296

Submitted on : Tuesday, January 20, 2015-2:48:25 PM

Last modification on : Friday, March 24, 2023-2:53:00 PM

No file

Dates and versions

hal-01107296 , version 1 (20-01-2015)

Identifiers

  • HAL Id : hal-01107296 , version 1

Cite

Frédéric Loulergue, Wadoud Bousdira, Julien Tesson. Calcul de programmes parallèles avec Coq. Informatique Mathématique, CNRS Éditions, 2015, collection Alpha. ⟨hal-01107296⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS INRIA UNIV-ORLEANS LACL MSL UPEC MSL-THESE INRIA2 ANR
250 View
0 Download

Share

More