- Paulson, Lawrence C. - -
Paulson, Lawrence C. - Logic And Computation: Interactive Proof With Cambridge Lcf (cambridge Tracts In Theoretical Computer Science, Band 2)
Brand: Paulson, Lawrence C. -
EAN:
9780521395601MPN: m00521395607
Kategorie: Bücher & Zeitschriften
Brand : Cambridge University Press, Binding : Taschenbuch, Edition : Revised ed., Label : Cambridge University Press, Publisher : Cambridge University Press, NumberOfItems : 1, PackageQuantity : 1, medium : Taschenbuch, numberOfPages : 320, publicationDate : 2008-08-21, authors : Paulson, Lawrence C., ISBN : 0521395607
Preise vergleichen ab:
Paulson, Lawrence C. - in Bücher & Zeitschriften