Eduardo Gimenez - Types For Proofs And Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Papers (lecture Notes In Computer Science)
Brand: Eduardo Gimenez -
EAN:
9783540651376MPN: m03540651373
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 1998, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 388, publicationDate : 2008-06-13, authors : Eduardo Gimenez, Christine Paulin-Mohring, languages : english, ISBN : 3540651373
Preise vergleichen ab:
Eduardo Gimenez - in Bücher & Zeitschriften