X

Audible Trade

Audible allows users to send audible books to other users.
You can only receive a book once per audible account.

Check out the free trial month, if you don't have an audible account yet

Also remeber "sharing is caring". People are more likely to share there books with you if you offer yours as well.

Book Trade

Please remeber "sharing is caring". People are more likely to share there books with you if you offer many books yourself as well.

Not enough tokens

I'm sorry but you do not have enough tokens to the trade, yet. Please trade your books with others first in order to request this book.

Request Book for Free

Software Engineering and Formal Methods

From Radu Calinescu

Book Informations

  • Released: 2021-12-02
  • Pages: 522
  • Language: en
  • ISBN-10:3030921247
  • ISBN-13:9783030921248

Beschreibung

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Rate/Setting




12345678910




Offers


Only Offers/Searches from registered users with name will be displayed. Set up a name here to see your offers.



I offer this book:



(Please add a loction in your profil for pickup)



E-Books can only be shared by the right owners (autors/publisher).





Book-Sharing 2024 - Impressum | Datenschutz