Vergelijk aanbieders (1)
Shop
Prijs
Verzendkosten
Totale prijs
Cambridge Tracts in Theoretical Computer ScienceSeries Number 31 Higher Order Logic and Hardware Verification