AKTUELLE PARTNERANGEBOTE

Certified Programs and Proofs: First International Conference, C.P.P. 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)

Name: Certified Programs and Proofs: First International Conference, C.P.P. 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)
Brand: Jean-Pierre Jouannaud
SKU: 9866814

Binding : Taschenbuch, Edition : 2011, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 420, publicationDate : 2011-12-13, publishers : Jean-Pierre Jouannaud, languages : english, ISBN : 3642253784

1 Angebote · ab 53,49 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Certified Programs and Proofs: First International Conference, C.P.P. 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)