Refinement Types: A Tutorial (Foundations And Trends(R) In Programming Languages)
Now Publishers
ISBN13:
9781680838848
$118.38
(No reviews yet)
Write a Review
Now Publishers
Refinement Types: A Tutorial (Foundations And Trends(R) In Programming Languages)
- | Author: Ranjit Jhala|Niki Vazou
- | Publisher: Now Publishers
- | Publication Date: Oct 05, 2021
- | Number of Pages: 182 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 1680838849
- | ISBN-13: 9781680838848
- Author:
- Ranjit Jhala|Niki Vazou
- Publisher:
- Now Publishers
- Publication Date:
- Oct 05, 2021
- Number of pages:
- 182 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 1680838849
- ISBN-13:
- 9781680838848