Simon J. Gay: Session Types | Buch | preigu

Cover: 9781316518274 | Session Types | Simon J. Gay (u. a.) | Buch | Englisch | 2025

Rückseite: 9781316518274 | Session Types | Simon J. Gay (u. a.) | Buch | Englisch | 2025

Cover: 9781316518274 | Session Types | Simon J. Gay (u. a.) | Buch | Englisch | 2025

Rückseite: 9781316518274 | Session Types | Simon J. Gay (u. a.) | Buch | Englisch | 2025

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

68,30 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Beschreibung

This introductory text explores the key concepts of session types, which codify the structure of communication, making software more reliable and easier to construct. Complemented by examples and exercises throughout, it serves as an entry point to the topic for graduate students and researchers.

This introductory text explores the key concepts of session types, which codify the structure of communication, making software more reliable and easier to construct. Complemented by examples and exercises throughout, it serves as an entry point to the topic for graduate students and researchers.

Über den Autor

Simon J. Gay is Professor and Head of Computing Science at the University of Glasgow. He has co-edited two previous books: Semantic Techniques in Quantum Computation (2010) and Behavioural Types: From Theory to Tools (2017).

Inhaltsverzeichnis

1. Introduction; 2. Basic concepts; 3. Infinite behaviour; 4. Sharing; 5. Subtyping; 6. Algorithmic typing; 7. Functional programming; 8. Linear pi calculus with values; 9. Propositions as sessions; References; Index.

Details

Erscheinungsjahr:	2025
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
ISBN-13:	9781316518274
ISBN-10:	1316518272
Sprache:	Englisch
Einband:	Gebunden
Autor:	Gay, Simon J. Vasconcelos, Vasco T.
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	250 x 175 x 18 mm
Von/Mit:	Simon J. Gay (u. a.)
Erscheinungsdatum:	24.02.2025
Gewicht:	0,614 kg

Artikel-ID: 130767222

Ähnliche Produkte

Buch

Cover: 9780313362248 | Glued to Games | How Video Games Draw Us In and Hold Us Spellbound

How Video Games Draw Us In and Hold Us Spellbound

EAN: 9780313362248

Sprache: Englisch

Von/Mit: Scott Rigby (u. a.)

53,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781783287215 | D Cookbook | Adam Ruppe | Taschenbuch | Kartoniert / Broschiert | 2014

EAN: 9781783287215

Sprache: Englisch

Von/Mit: Adam Ruppe

64,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781609803728 | Rise of the Videogame Zinesters | Anna Anthropy | Taschenbuch | 2012

Rise of the Videogame Zinesters

How Freaks, Normals, Amateurs, Artists, Dreamers, Drop-outs, Queers, Housewives Are Taking Back an Art Form

EAN: 9781609803728

Sprache: Englisch

Von/Mit: Anna Anthropy

12,99 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781716727368 | Not All Fairy Tales Have Happy Endings | Ken Williams | Taschenbuch

Not All Fairy Tales Have Happy Endings

The rise and fall of Sierra On-Line

EAN: 9781716727368

Sprache: Englisch

Von/Mit: Ken Williams

76,60 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783966451536 | Programmieren lernen für Kinder mit Small Basic | Dirk Hardy | Buch

Programmieren lernen für Kinder mit Small Basic

Eine verständliche Einführung in die Welt der Programmierung

EAN: 9783966451536

Sprache: Deutsch

Von/Mit: Dirk Hardy

19,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781492098058 | Applied Machine Learning and AI for Engineers | Jeff Prosise | Buch

Applied Machine Learning and AI for Engineers

Solve Business Problems That Can't Be Solved Algorithmically

EAN: 9781492098058

Sprache: Englisch

Von/Mit: Jeff Prosise

72,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781032345864 | Animation Masterclasses | Tony White | Taschenbuch | Englisch | 2022

Animation Masterclasses

From Pencils to Pixels: A Complete Course in Animation & Production

EAN: 9781032345864

Sprache: Englisch

Von/Mit: Tony White

67,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781803239866 | Elevating Game Experiences with Unreal Engine 5 - Second Edition

Elevating Game Experiences with Unreal Engine 5 - Second Edition

Bring your game ideas to life using the new Unreal Engine 5 and C++

EAN: 9781803239866

Sprache: Englisch

Von/Mit: Gonçalo Marques (u. a.)

167,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781088137970 | Java Examples, Explanations, and Exercises Third Edition | Lynn Smith

Java Examples, Explanations, and Exercises Third Edition

EAN: 9781088137970

Sprache: Englisch

Von/Mit: Lynn Smith

97,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9788196782658 | Ultimate Laravel for Modern Web Development | Drishti Jain | Buch

Ultimate Laravel for Modern Web Development

EAN: 9788196782658

Sprache: Englisch

Von/Mit: Drishti Jain

45,40 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9781138054813 | Symbolic Regression | Gabriel Kronberger (u. a.) | Buch | Englisch

Symbolic Regression

EAN: 9781138054813

Sprache: Englisch

Von/Mit: Gabriel Kronberger (u. a.)

136,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780262518659 | Critical Play | Radical Game Design | Mary Flanagan | Taschenbuch

Radical Game Design

EAN: 9780262518659

Sprache: Englisch

Von/Mit: Mary Flanagan

32,90 €*

Lieferzeit 1-2 Wochen