Gå direkt till innehållet
Types for Proofs and Programs
Types for Proofs and Programs
Spara

Types for Proofs and Programs

Lägsta pris på PriceRunner
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
Undertitel
International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
ISBN
9783540481676
Språk
Engelska
Utgivningsdatum
2003-06-29
Tillgängliga elektroniska format
  • PDF - Adobe DRM
Läs e-boken här
  • E-boksläsare i mobil/surfplatta
  • Läsplatta
  • Dator