Skip to product information
1 of 1
Sold Out

Software Engineering and Formal Methods

Software Engineering and Formal Methods

20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings

Paperback

Regular price £58.87
Regular price Sale price £58.87

Join our rewards scheme and earn 177 reward points on this purchase!

Earn 177 points on this!

Sign in or Sign up!
View full details
  • Release Date: 21/09/2022
  • Barcode: 9783031171079
  • Genre: Computing & Internet
  • Imprint: Springer International
  • Publisher: Springer
Software Engineering and Formal Methods

Software Engineering and Formal Methods

1st ed. 2022

Collapsible content

DESCRIPTION

20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. formal methods for intelligent and learning systems;
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.

ADDITIONAL DETAILS

  • Contributor: Bernd-Holger Schlingloff (Edited by), Ming Chai (Edited by)
  • DELIVERY & RETURNS

    UK Delivery:

    • Free delivery on all orders of £10 or more.
    • £1.49 delivery fee on orders below £10.
    • UK orders are shipped via Royal Mail 2nd Class.

    International Delivery:

    • Flat rate delivery charges vary by country.

    Dispatch and Delivery Times:

    • All orders are shipped from our warehouse in Northampton, UK within 48 hours of receipt during working hours.
    • UK mainland orders typically arrive within 3-5 working days via Royal Mail 2nd Class.
    • International estimated delivery times:
    • Europe & Channel Islands: 7 to 10 working days
    • USA: 7 to 15 working days
    • Rest of the World: 9 to 21 working days

    View our full delivery infomation here.

    • OVER

      2 MILLION PRODUCTS

    • 60 MILLION CUSTOMERS

      ACROSS 190 COUNTRIES