SPIN-Model-Checking-and-Software-Verification-7th-International-SPIN-Workshop-Stanford-CA-USA-August-30-September-1-2000-Proceedings-Lecture-Notes-in-Computer-Science-Band-1885 85,59 EUR*