Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science)
Book Details
Author(s)Peter Müller
PublisherSpringer
ISBN / ASIN3540431675
ISBN-139783540431671
MarketplaceFrance 🇫🇷



