Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science)
99.00
USD
Book Details
Author(s)Peter Müller
PublisherSpringer
ISBN / ASIN3540431675
ISBN-139783540431671
MarketplaceUnited States 🇺🇸



