Featured
Compare webshops (2)
Pages: 548, Edition: 2010, Hardcover, Springer
Pages: 548, Edition: 2010, Paperback, Springer
Prices were last updated on: 15-03-2026, 16:17
Springer
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Deduction Systems (Texts in Computer Science)
Specification of Software Systems (Texts in Computer Science)
Back to top