Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7679)

Dieses Produkt wurde kürzlich in keinem gesponserten Geschäft gefunden, bitte prüfen Sie ähnliche Produkte unserer Sponsoren oder sehen Sie sich andere von uns angebotene Geschäfte an, in denen Sie das Produkt finden können.

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 364235307X
MPN
Springer Berlin Heidelberg 64 black & white illustrations

Eigenschaften

Menü