Types for Proofs and Programs: Second International Workshop, Types 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers - Lecture Notes in Computer Science - Herman Geuvers - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540140313 - 28. april 2003
Ved uoverensstemmelse mellem cover og titel gælder titel

Types for Proofs and Programs: Second International Workshop, Types 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers - Lecture Notes in Computer Science

Herman Geuvers

Pris
Kč 1.475

Bestilles fra fjernlager

Forventes klar til forsendelse 19. - 25. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Types for Proofs and Programs: Second International Workshop, Types 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers - Lecture Notes in Computer Science

680 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 28. april 2003
ISBN13 9783540140313
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 680
Mål 156 × 234 × 18 mm   ·   480 g
Sprog Tysk  
Klipper/redaktør Geuvers, Herman
Klipper/redaktør Wiedijk, Freek

Se alt med Herman Geuvers ( f.eks. Paperback Bog )