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-professional]”

Filters

Products

FM 2009: Formal Methods

Ana Cavalcanti

Paperback

Current price ₹7,345
Original price ₹11,299
Original price ₹11,299
Original price ₹11,299
(-35%)
₹7,345
Current price ₹7,345

• 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 II

Ana Cavalcanti

Paperback

Current price ₹4,848
Original price ₹7,457
Original price ₹7,457
Original price ₹7,457
(-35%)
₹4,848
Current price ₹4,848

• 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

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

Ana Cavalcanti

Paperback

Current price ₹4,848
Original price ₹7,457
Original price ₹7,457
Original price ₹7,457
(-35%)
₹4,848
Current price ₹4,848

• 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