AKTUELLE PARTNERANGEBOTE

Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science)

Name: Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science)
Brand: Poernomo, Iman Hafiz
SKU: 3580433

Binding : Taschenbuch, Edition : Softcover reprint of hardcover 1st ed. 2005, Label : Springer New York, Publisher : Springer New York, medium : Taschenbuch, numberOfPages : 432, publicationDate : 2009-12-28, authors : Poernomo, Iman Hafiz, ISBN : 1441920145

1 Angebote · ab 139,98 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science)

Finde das Produkt,
das wirklich zu dir passt.