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 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, Uk, July 18-22, 2005, Proceedings

John Fitzgerald

Paperback

Current price ₹3,639
Original price ₹5,597
Original price ₹5,597
Original price ₹5,597
(-35%)
₹3,639
Current price ₹3,639

• Author(s): John Fitzgerald • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsh...

View full details

FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

John Fitzgerald

Paperback

Current price ₹3,639
Original price ₹5,597
Original price ₹5,597
Original price ₹5,597
(-35%)
₹3,639
Current price ₹3,639

• Author(s): John Fitzgerald • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 201...

View full details

Validated Designs for Object-Oriented Systems

John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee

Hardcover

Current price ₹7,689
Original price ₹9,227
Original price ₹9,227
Original price ₹9,227
(-17%)
₹7,689
Current price ₹7,689

• Author(s): John Fitzgerald | Peter Gorm Larsen | Paul Mukherjee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book describes an object-oriented design approach that combines th...

View full details