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

NASA Formal Methods: 17th International Symposium, Nfm 2025, Williamsburg, Va, Usa, June 11-13, 2025, Proceedings

Aaron Dutle, Laura Humphrey, Laura Titolo

Paperback

Current price ₹9,460
Original price ₹14,553
Original price ₹14,553
Original price ₹14,553
(-35%)
₹9,460
Current price ₹9,460

• Author(s): Aaron Dutle | Laura Humphrey | Laura Titolo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the proceedings of the 17th International Symposium on NAS...

View full details

NASA Formal Methods: 10th International Symposium, Nfm 2018, Newport News, Va, Usa, April 17-19, 2018, Proceedings

Aaron Dutle

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): Aaron Dutle • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held...

View full details

NASA Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings

Aaron Dutle

Paperback

Current price ₹6,185
Original price ₹9,515
Original price ₹9,515
Original price ₹9,515
(-35%)
₹6,185
Current price ₹6,185

• Author(s): Aaron Dutle • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held...

View full details