Session Types(1st Edition)
Authors:
Simon J Gay ,Vasco T Vasconcelos
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 1316518272, 978-1316518274
Book publisher: Cambridge University Press
Book Price $0 : Session Types Are Type-theoretic Specifications Of Communication Protocols In Concurrent Or Distributed Systems. By Codifying The Structure Of Communication, They Make Software More Reliable And Easier To Construct. Over Recent Decades, The Topic Has Become A Large And Active Research Area Within The Field Of Programming Language Theory And Implementation. Written By Leading Researchers In The Field, This Is The First Text To Provide A Comprehensive Introduction To The Key Concepts Of Session Types. The Thorough Theoretical Treatment Is Complemented By Examples And Exercises, Suitable For Use In A Lecture Course Or For Self-study. It Serves As An Entry Point To The Topic For Graduate Students And Researchers.
Customers also bought these books (16)
The Business of Tourism Management - 1st edition
John Beech
ISBN: 273688013, 273688014, 9781405871631 , 978-0273688013
$0 $11.43
Electric Motors And Drives Fundamentals, Types And Applications - 3rd Edition
Austin Hughes
ISBN: 0080522041, 9780080522043
$73.5 $105.00
Electric Motors And Drives Fundamentals, Types And Applications - 4th Edition
Austin Hughes
ISBN: 0080993680, 9780080993683
$78.4 $112.00
Simulation With Gasp Ii A Fortran Based Simulation Language - 1st Edition
A Alan B Pritsker
ISBN: 0138104328, 978-0138104320
$0 $3.50
Machine Learning The New Ai The Mit Press Essential Knowledge Series - 1st Edition
Ethem Alpaydi
ISBN: B01M1I55GE
$0 $46.00
Explainable And Transparent Ai And Multi Agent Systems 4th International Workshop Extraamas 2022 Virtual Event May 9 10 2022 Revised Selected Papers - 1st Edition
Davide Calvaresi
ISBN: 3031155645, 978-3031155642
$0 $52.92
Explainable And Transparent Ai And Multi Agent Systems 4th International Workshop Extraamas 2022 Virtual Event May 9 10 2022 Revised Selected Papers Notes In Computer Science Book 13283 - 1st Edition
Davide Calvaresi
ISBN: B0BGNNZ8KJ, 978-3031155659
$0 $14.22
The Official LSAT Preptest 58 - 1st Edition
Law School Admission Council
ISBN: 0982148720, 978-0982148723
$0 $4.99
Asp Net Core Razor Pages Full Stack Web Development With C# Net Html Bootstrap Css Javascript And Entity Framework Core - 1st Edition
Robert E Beasley Phd
ISBN: B0CCCKRL1W, 979-8852884152
$0 $46.99
Business Communication Process and Product - 6th Edition
Mary Ellen Guffey
ISBN: 324578679, 9780324578683, 9780324542905, 176721258, 9780324578676, 324542909, 9780176721251, 978-0324542905
$0 $6.44
Introduction To Automata Theory Languages And Computation 2nd Ed By John E Hopcroft - 1st Edition
J E Hopcroft
ISBN: B01K0TLDJM
$97.82 $139.74Popular Among Students (12)
Morning Boost Empowering Quotes For Daily Motivation - 1st Edition
Thiago S. Dantas
ISBN: 979-8852518460
$0 $27.99
Connect Leverage Your Linkedin Profile For Business Growth And Lead Generation In Less Than 7 Minutes Per Day - 1st Edition
Jane E Anderson
ISBN: 0994267819, 978-0994267818
$0 $29.95
Advertising: Strategy, Creativity And Media - 1st Edition
Fill
ISBN: 9780273760894, 0273760890, 9780273760917, 0273760912
$0 $9.99
Formula 4 0 For Digital Transformation A Business Driven Digital Transformation Framework For Industry 4 0 - 1st Edition
Venkatesh Upadrista
ISBN: 0367746840, 978-0367746841
$130.84 $186.92
Photovoltaic/Thermal Systems Principles Design And Applications - 1st Edition
Ali H A Al Waeli
ISBN: 3030278239, 978-3030278236
$101.32 $144.74
Lectures On Proof Verification And Approximation Algorithms - 1st Edition
Ernst W Mayr
ISBN: 3540642013, 978-3540642015
$0 $22.91
Perspectives Of System Informatics 9th International Ershov Informatics Conference Psi 2014 St Petersburg Russia June 24 27 2014 Revised - 2015 Edition
Andrei Voronkov
ISBN: 3662468220, 978-3662468227
$0 $54.99
Basic Computation And Principle Of Computer Programming - 1st Edition
Suman Halder
ISBN: 8184874979, 978-8184874976
$0 $42.30
Business Component Factory A Comprehensive Overview Of Component Based Development For The Enterprise - 1st Edition
Peter Herzum
ISBN: 0471327603, 978-0471327608
$67.77 $96.82
Introduction To Distributed Algorithms - 2nd Edition
Gerard Tel
ISBN: 0521794838, 9780521794831
$0 $13.24