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

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

Behavioural Types: from Theory to Tools

From Simon Gay

Behavioural Types: from Theory to Tools

Book Informations

  • Released: 2017-06-30
  • Pages: 410
  • Language: en
  • ISBN-10:8793519826
  • ISBN-13:9788793519824

Beschreibung

Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.

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