EbookNetworking

Categories Popular New Books Deals Authors Publishers

Categories + Add Book Popular New Books Deals Authors Publishers

Home / Authors / Tobias Nipkow, Gerwin Klein

Books by Tobias Nipkow, Gerwin Klein

All books by this author

1 books found

Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

By: Tobias Nipkow, Gerwin Klein

View Details

EbookNetworking.net

Your destination for books worldwide. Find, compare, and buy books at the best prices.

Categories Authors Publishers Best Deals Popular Books Blog

Contact Us

USA: +1 (252) 525-4646

India: +91 9815611999

© 2026 EbookNetworking.net — All rights reserved.