His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research.
Model Checking, Synthesis, and Learning
His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research.
Zaloga po trgovinah
Rezultati:
Podrobnosti o izdelku
Poglej vseISBN
9783030913830Mladinska knjiga ID
9783030913830Leto izida
2021Datum izida
22.11.2021Število strani
219Status dobavljivosti
7-10 delovnih dniZbirka
Lecture Notes in Computer ScienceZaložnik
Springer Nature Switzerland AGUrednik
YI, WANGDimenzije
234 x 156 x 17BIC
UMB,UMZ,UYQ,UYQEOpis
His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research.Pogosto kupljeno skupaj
Prikaži vse podrobnostiMehka vezava
Ostali so si ogledali tudi ...
Vezava: Trda
Več kot pol milijona knjig
Največja ponudba slovenskih in tujih knjig na enem mestu.
Enostaven nakup
Do izbranega le z nekaj kliki na spletu ali v eni od več kot 50 knjigarn.
Strokoven nasvet
Pred nakupom nas pokličite za nasvet ali se oglasite v knjigarni.
Vse za šolo
Nagrajena izobraževalna gradiva in kakovostne potrebščine.
Celovita ponudba za dom in pisarno
Vrhunski izdelki priznanih blagovnih znamk.
Brezplačna dostava
Brezplačna dostava za vsa naročila nad 59 € (za šolske pakete nad 140 €)
Naslov
Slovenska cesta 29, 1000 Ljubljana
E-naslovSpletna knjigarna: info@emka.si, Mladinska knjiga Založba: info@mladinska-knjiga.si
Kontakt01 241 30 00
Brezplačna številka080 12 05
- Ko izberete elemente, se celotna stran osveži.
- Odpre se v novem oknu.