•  

Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
  • Publisher The MIT Press
  • ISBN 0262017156
  • pages376

See something wrong?

Report an issue with this book