Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Filters

Products

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Willem-Paul de Roever, Others

Hardcover

Current price ₹13,233
Original price ₹22,055
Original price ₹22,055
Original price ₹22,055
(-40%)
₹13,233
Current price ₹13,233

• Author(s): Willem-Paul de Roever | Others • Publisher: Cambridge UP • Publisher Imprint: Cambridge • Subject: Computer Science and Information Technology • BISAC: Distributed Systems - GeneralAbout the Book This is a systematic and comprehensiv...

View full details