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

In order to receive an audible book you need to have your audible e-mail adress saved in your Settings

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

Software Engineering and Formal Methods

Book Informations

  • Released: 2015-08-23
  • Pages: 369
  • Language: en
  • ISBN-10:3319229699
  • ISBN-13:9783319229690


This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.




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 2019 - Impressum | Datenschutz