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 - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540140313 - 28. aprila 2003
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Herman Geuvers
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

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 25. nov - 3. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Herman Geuvers

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

680 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 28. aprila 2003
ISBN13 9783540140313
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 680
Dimenzije 156 × 234 × 18 mm   ·   480 g
Jezik Nemščina  
Urednik Geuvers, Herman
Urednik Wiedijk, Freek

Več od istega **izdajatelja**

Ogled vseh Herman Geuvers