AKTUELLE PARTNERANGEBOTE

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806, Band 806)

Name: Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806, Band 806)
Brand: Tobias Nipkow
SKU: 8951169

Brand : Springer, Binding : Taschenbuch, Edition : 1994, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 404, publicationDate : 2008-06-13, authors : Tobias Nipkow, Henk Barendregt, ISBN : 3540580859

1 Angebote · ab 53,49 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806, Band 806)