[DOWNLOAD] "Formal Methods: Foundations and Applications" by Tiago Massoni & Mohammad Reza Mousavi # eBook PDF Kindle ePub Free
eBook details
- Title: Formal Methods: Foundations and Applications
- Author : Tiago Massoni & Mohammad Reza Mousavi
- Release Date : January 19, 2018
- Genre: Software,Books,Computers & Internet,Computers,Programming,Science & Nature,Mathematics,
- Pages : * pages
- Size : 6456 KB
Description
Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.