Processing ......
FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World
 
Behavioural Types: From Theory to Tools
🌠 Top Free Java Books - 100% Free or Open Source!
  • Title: Behavioural Types: From Theory to Tools
  • Author(s) Simon Gay, António Ravara
  • Publisher: River Publishers; 1st edition (October 21, 2024); eBook (Creative Commons Licensed)
  • License(s): Creative Commons License (CC)
  • Hardcover: 410 pages
  • eBook: PDF, ePub, and Read Online
  • Language: English
  • ISBN-10: 8770044279
  • ISBN-13: 978-8770044271
  • Share This:  

Book Description

Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing.

About the Authors
  • N/A
Reviews, Ratings, and Recommendations: Related Book Categories: Read and Download Links: Similar Books:
Book Categories
:
Other Categories
Resources and Links