| search results |

displaying 2 results for author search for 'Laure Petrucci'

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings

Laure Petrucci
Paperback / softback, 181 pages
ISBN-13: 9783031426254
29 Aug 2023
Readership Age:
computers / computer science Price: R 1 687.95
| on special |
normal price: R 1 875.95

This title will take longer to obtain, and should be delivered in 6-8 weeks

| read more |

| add to trolley |

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Laure Petrucci
Paperback / softback, 235 pages
ISBN-13: 9783319671123
25 Aug 2017
Readership Age:
computers / compilers Price: R 1 518.95
| on special |
normal price: R 1 687.95