Verification of Infinite-state Systems with Applications to Security
BücherAngebote / Angebote:
Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop.
Folgt in ca. 15 Arbeitstagen
Preis
119,00 CHFVerfügbarkeit:
LieferbarArtikel, die Sie kürzlich angesehen haben
Folgt in ca. 2-3 Arbeitstagen
34,50 CHF
