Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author

This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.

The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on

-Preparatory Course: Introduction to Mathematical Logic and Logic of Programming;

-Intro...

Read more
E-book
epub
Price
44.99 £

This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.

The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on

-Preparatory Course: Introduction to Mathematical Logic and Logic of Programming;

-Intro...

Read more

Options

  • Formats: epub
  • ISBN: 9789819646562
  • Publication Date: 4 Apr 2025
  • Publisher: Springer Nature Singapore
  • Product language: English
  • Drm Setting: DRM