Hopp til hovedinnholdet
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

Redigert av Jane Hillston, Sadegh Soudjani, Masaki Waga, 2024.Del av serien Lecture Notes in Computer Science.


First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings

PocketEngelsk
879,-

Ikke tilgjengelig for Klikk&Hent

Midlertidig tomt på lager

Bestillingsvare. Forventes sendt om ca 17 dager

Produktinformasjon
Format
Pocket
Utgivelsesår
2024
Første salgsdato
29.08.2024
Forlag
Springer International Publishing AG
Språk
Engelsk
Antall sider
338
Høyde
235 mm
Bredde
155 mm
Serie
Lecture Notes in Computer Science
ISBN
9783031684159
Kundevurderinger

0

0 vurderinger

0%
0%
0%
0%
0%

Kundevurderingene er skrevet av verifiserte kjøpere. Det betyr at produktet som vurderes må være kjøpt hos ARK og registrert på brukers profil. For å registrere kjøp gjort i butikk, må man være ARK-venn.

Mer om kundevurderinger i ARK
879,-

Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.