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

Formal Methods for an Informal World: Ictac 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Antonio Cerone

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): Antonio Cerone • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis volume includes six lectures given at the ICTAC (International Colloquium on Theoreti...

View full details

Formal Methods - Fun for Everybody: First International Workshop, Fmfun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

Antonio Cerone

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): Antonio Cerone • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computers & TechnologyThis volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods - Fun for Everybody, FM...

View full details

Software Engineering and Formal Methods: Sefm 2017 Collocated Workshops: Datamod, Faacs, Mse, Cosim-Cps, and Foclasa, Trento, Italy, September 4-5, 20

Antonio Cerone

Paperback

Current price ₹5,386
Original price ₹8,285
Original price ₹8,285
Original price ₹8,285
(-35%)
₹5,386
Current price ₹5,386

• Author(s): Antonio Cerone • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engi...

View full details

Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Event, December 6-10, 2021, Revise

Antonio Cerone

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): Antonio Cerone • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software En...

View full details