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

Search results for “[Subject: programming-object-oriented]”

Filters

Products

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt

Hardcover

Current price ₹7,277
Original price ₹11,194
Original price ₹11,194
Original price ₹11,194
(-35%)
₹7,277
Current price ₹7,277

• Author(s): Krzysztof R. Apt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFrom the Back CoverComputer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioni...

View full details

Logic Programming Languages: Constraints, Functions, and Objects

Krzysztof R. Apt, J. W. de Bakker, J. M. Rutten

Paperback

Current price ₹3,497
Original price ₹4,197
Original price ₹4,197
Original price ₹4,197
(-17%)
₹3,497
Current price ₹3,497

• Author(s): Krzysztof R. Apt | J. W. de Bakker | J. M. Rutten • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Logic DesignThis collection of current research on logic programming languages presents results from a three-year, ESPRI...

View full details

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt

Paperback

Current price ₹5,821
Original price ₹8,955
Original price ₹8,955
Original price ₹8,955
(-35%)
₹5,821
Current price ₹5,821

• Author(s): Krzysztof R. Apt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFrom the Back CoverComputer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioni...

View full details