Probabilistic Trace and Testing Semantics: The Importance of Being Coherent (Foundations and Trends(r) in Programming Languages)

Probabilistic Trace and Testing Semantics: The Importance of Being Coherent (Foundations and Trends(r) in Programming Languages)

Now Publishers
SKU:
9781638280743
|
ISBN13:
9781638280743
$86.48
(No reviews yet)
Condition:
New
Usually Ships in 24hrs
Current Stock:
Estimated Delivery by: | Fastest delivery by:
Adding to cart… The item has been added
Buy ebook
Description
This monograph is a comprehensive review of Probabilistic Trace and Testing Semantics written for researchers in the formal method aspects of programming languages.


  • | Author: Marco Bernardo
  • | Publisher: Now Publishers
  • | Publication Date: Aug 24, 2022
  • | Number of Pages: 106 pages
  • | Language: English
  • | Binding: Paperback
  • | ISBN-10: 1638280746
  • | ISBN-13: 9781638280743
Additional Information
Author:
Marco Bernardo
Publisher:
Now Publishers
Publication Date:
Aug 24, 2022
Number of pages:
106 pages
Language:
English
Binding:
Paperback
ISBN-10:
1638280746
ISBN-13:
9781638280743
Related Products