Featured
Compare webshops (2)
Pages: 548, Edition: 2010, Hardcover, Springer
Prices were last updated on: 03-06-2026, 20:25
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