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

Specification And Proof In Real Time Csp

Jim Davies

Hardcover

Current price ₹5,717
Original price ₹9,527
Original price ₹9,527
Original price ₹9,527
(-40%)
₹5,717
Current price ₹5,717

• Author(s): Jim Davies • Publisher: Cambridge UP • Publisher Imprint: Cambridge • Subject: Computer Science and Information Technology • BISAC: Data Science - GeneralAbout the Book Computing systems are becoming highly complex, harder to underst...

View full details