Hopp til innhold Hopp til hovedmeny
forsidebilde - trykk for å vise stor versjon

Types for proofs and programs : international workshop, TYPES'98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
Inngår i serie: Lecture notes in computer science (1657)
TYPES '98 Bok Engelsk utgitt c1999

Ledig

  • Automatlager: 1 av 1 ledig
Henter eksemplarliste...
Fakta
Laster innhold...