Search

You searched for: Auteur Fisman, Dana Remove constraint Auteur: Fisman, Dana
1 - 4 of 4
Number of results to display per page

Search Results

1. A Practical Introduction to PSL
thumbnail
Full text!
Author:
Eisner, Cindy; Fisman, Dana
Publisher:
Springer US 2006
Format:
e-book
2. Runtime Verification
thumbnail
Full text!
Author:
Lu Feng; Fisman, Dana
Publisher:
Springer International Publishing 2021
Format:
e-book
3. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Fisman, Dana; Rosu, Grigore
Publisher:
Springer International Publishing 2022
Format:
e-book
4. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Fisman, Dana; Rosu, Grigore
Publisher:
Springer International Publishing 2022
Format:
e-book