Items related to Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL - Softcover

Nipkow, Tobias; Klein, Gerwin

 
9783319105437: Concrete Semantics: With Isabelle/HOL
Softcover
ISBN 10: 3319105434 ISBN 13: 9783319105437
Publisher: Springer, 2015
View all copies of this ISBN edition:
 
 
  • PublisherSpringer
  • Publication date2015
  • ISBN 10 3319105434
  • ISBN 13 9783319105437
  • BindingPaperback

(No Available Copies)

Search Books:



Create a Want

If you know the book but cannot find it on AbeBooks, we can automatically search for it on your behalf as new inventory is added. If it is added to AbeBooks by one of our member booksellers, we will notify you!

Create a Want

Other Popular Editions of the Same Title

9783319105413: Concrete Semantics: With Isabelle/HOL

Featured Edition

ISBN 10:  3319105418 ISBN 13:  9783319105413
Publisher: Springer, 2014
Hardcover

  • 9783319357591: Concrete Semantics: With Isabelle/HOL

    Springer, 2016
    Softcover

Top Search Results from the AbeBooks Marketplace