Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science)
📄 Viewing lite version
Full site ›
99.00
USD
🛒 Buy New on Amazon 🇺🇸
Book Details
Author(s)Peter Müller
ISBN / ASIN3540431675
ISBN-139783540431671
MarketplaceUnited States 🇺🇸