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: aims-objectives]”

Formal Verification of Object-Oriented Software: International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov

Formal Verification of Object-Oriented Software: International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Bernhard Beckert, Ferruccio Damiani, Dilian Gurov

Paperback

₹5,260
₹6,312
₹6,312
₹6,312
(-17%)
₹5,260
₹5,260

• Author(s): Bernhard Beckert | Ferruccio Damiani | Dilian Gurov • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book presents the thoroughly refereed post-conference proceedings of the International Conference on Forma...

View full details
Formal Verification of Object-Oriented Software: International Conference, Foveoos 2010, Paris, France, June 28-30, 2010, Revised Selected Papers by Bernhard Beckert, Claude Marché

Formal Verification of Object-Oriented Software: International Conference, Foveoos 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Bernhard Beckert, Claude Marché

Paperback

₹5,666
₹6,800
₹6,800
₹6,800
(-17%)
₹5,666
₹5,666

• Author(s): Bernhard Beckert | Claude Marché • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book presents the thoroughly refereed post-conference proceedings of the International...

View full details
Verification of Object-Oriented Software. the Key Approach: Foreword by K. Rustan M. Leino by Bernhard Beckert

Verification of Object-Oriented Software. the Key Approach: Foreword by K. Rustan M. Leino

Bernhard Beckert

Paperback

₹7,267
₹11,179
₹11,179
₹11,179
(-35%)
₹7,267
₹7,267

• Author(s): Bernhard Beckert • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralLong gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are ...

View full details
Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers by Bernhard Beckert

Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Bernhard Beckert

Paperback

₹3,633
₹5,589
₹5,589
₹5,589
(-35%)
₹3,633
₹3,633

• Author(s): Bernhard Beckert • Publisher: Springer • Publisher Imprint: Springer • BISAC: Information TechnologyFrom the Back CoverFormal methods have been applied successfully to the verification of medium-sized programs in protocol and hardwar...

View full details
Home
Genres
Account
Call Us
Chat