Refinement Types: A Tutorial (Foundations And Trends(R) In Programming Languages)
$118.38
Now Publishers
Behavioral Types in Programming Languages (Foundations and Trends(r) in Programming Languages)
Now Publishers Inc
ISBN13:
9781680831344
$118.38
(No reviews yet)
Write a Review
Now Publishers Inc
Behavioral Types in Programming Languages (Foundations and Trends(r) in Programming Languages)
Behavioral Types in Programming Languages provides the reader with the first comprehensive overview of the state of the art on this topic. Each section covers a particular programming paradigm or methodology, providing an ideal reference on the topic and identifying the areas as yet unexplored.
- | Author: Davide Ancona, Viviana Bono, Mario Bravetti, Giuseppe Castagna, Joana Campos, Pierre-Malo DeniElou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Huan, Einar Broch Johnsen, Francisco Forrest Martin, Viviana Mascardi, Fabrizi Montesi
- | Publisher: Now Publishers Inc
- | Publication Date: Jul 21, 2016
- | Number of Pages: 156 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 1680831348
- | ISBN-13: 9781680831344
- Author:
- Davide Ancona, Viviana Bono, Mario Bravetti, Giuseppe Castagna, Joana Campos, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Huan, Einar Broch Johnsen, Francisco Forrest Martin, Viviana Mascardi, Fabrizi Montesi
- Publisher:
- Now Publishers Inc
- Publication Date:
- Jul 21, 2016
- Number of pages:
- 156 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 1680831348
- ISBN-13:
- 9781680831344
