Zoeken

U zocht naar: Auteur Jouannaud, Jean-Pierre Filter Auteur: Jouannaud, Jean-Pierre weghalen Fulltext online Filter Fulltext: online weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Certified Programs and Proofs
thumbnail
Full text!
Auteur:
Jouannaud, Jean-Pierre; Shao, Zhong
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
2. Algebra, Meaning, and Computation
thumbnail
Full text!
Auteur:
Futatsugi, Kokichi; Goguen, Joseph; Jouannaud, Jean-Pierre; Kanade, Takeo; Meseguer, José
Uitgever:
Springer Berlin / Heidelberg 2006
Type:
e-book