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: methods-general]”

Filters

Products

FM 2009: Formal Methods

Ana Cavalcanti

Paperback

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): Ana Cavalcanti • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book presents the refereed proceedings of FM 2009, the 16th International Symposium o...

View full details

The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I

Ana Cavalcanti

Paperback

Current price ₹4,803
Original price ₹7,388
Original price ₹7,388
Original price ₹7,388
(-35%)
₹4,803
Current price ₹4,803

• Author(s): Ana Cavalcanti • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exc...

View full details

The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II

Ana Cavalcanti

Paperback

Current price ₹4,803
Original price ₹7,388
Original price ₹7,388
Original price ₹7,388
(-35%)
₹4,803
Current price ₹4,803

• Author(s): Ana Cavalcanti • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional internatio...

View full details