Help Account

Formal Methods for Real-Time and Probabilistic Systems

by Jost-Pieter Katoen

★★★★☆
3.8 (563)

US$27.50

15% OFF CODE: SAVE15

Description

The publisher of this book has not provided a description. Please check back later.

About this Ebook

PublisherSpringer Berlin Heidelberg
PublishedAugust 23, 2025
LanguageEnglish
FormatEPUB

Explore Related Tags

You Might Also Like