Behavioural Types
eBook - PDF
Non più disponibile |Scopri di più

Behavioural Types

From Theory to Tools

Simon Gay, António Ravara, Simon Gay, António Ravara

Condividi libro
  1. 250 pagine
  2. English
  3. PDF
  4. Disponibile su iOS e Android
eBook - PDF
Non più disponibile |Scopri di più

Behavioural Types

From Theory to Tools

Simon Gay, António Ravara, Simon Gay, António Ravara

Dettagli del libro
Indice dei contenuti
Citazioni

Informazioni sul libro

Behavioral type systems in programming languages support the specification and verification of programs' properties 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 behavioral type systems, this text is a valuable reference for researchers in the field as well as an introduction to the subject for graduate students and software developers.

Domande frequenti

Come faccio ad annullare l'abbonamento?
È semplicissimo: basta accedere alla sezione Account nelle Impostazioni e cliccare su "Annulla abbonamento". Dopo la cancellazione, l'abbonamento rimarrà attivo per il periodo rimanente già pagato. Per maggiori informazioni, clicca qui
È possibile scaricare libri? Se sì, come?
Al momento è possibile scaricare tramite l'app tutti i nostri libri ePub mobile-friendly. Anche la maggior parte dei nostri PDF è scaricabile e stiamo lavorando per rendere disponibile quanto prima il download di tutti gli altri file. Per maggiori informazioni, clicca qui
Che differenza c'è tra i piani?
Entrambi i piani ti danno accesso illimitato alla libreria e a tutte le funzionalità di Perlego. Le uniche differenze sono il prezzo e il periodo di abbonamento: con il piano annuale risparmierai circa il 30% rispetto a 12 rate con quello mensile.
Cos'è Perlego?
Perlego è un servizio di abbonamento a testi accademici, che ti permette di accedere a un'intera libreria online a un prezzo inferiore rispetto a quello che pagheresti per acquistare un singolo libro al mese. Con oltre 1 milione di testi suddivisi in più di 1.000 categorie, troverai sicuramente ciò che fa per te! Per maggiori informazioni, clicca qui.
Perlego supporta la sintesi vocale?
Cerca l'icona Sintesi vocale nel prossimo libro che leggerai per verificare se è possibile riprodurre l'audio. Questo strumento permette di leggere il testo a voce alta, evidenziandolo man mano che la lettura procede. Puoi aumentare o diminuire la velocità della sintesi vocale, oppure sospendere la riproduzione. Per maggiori informazioni, clicca qui.
Behavioural Types è disponibile online in formato PDF/ePub?
Sì, puoi accedere a Behavioural Types di Simon Gay, António Ravara, Simon Gay, António Ravara in formato PDF e/o ePub, così come ad altri libri molto apprezzati nelle sezioni relative a Computer Science e Software Development. Scopri oltre 1 milione di libri disponibili nel nostro catalogo.

Informazioni

Editore
River Publishers
Anno
2017
ISBN
9788793519817
Argomento
Computer Science
Categoria
Software Development

Indice dei contenuti