Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. forma
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. forma
Zaloga po trgovinah
Rezultati:
Podrobnosti o izdelku
Poglej vseISBN
9783031198489Mladinska knjiga ID
9783031198489Leto izida
2022Datum izida
20.10.2022Število strani
598Status dobavljivosti
7-10 delovnih dniZbirka
Lecture Notes in Computer ScienceZaložnik
Springer International Publishing AGUrednik
STEFFEN, BERNHARDDimenzije
235 x 157 x 34BIC
UMB,UMZ,UYA,UYD,UYQOpis
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. formal methods for distributed computing in future railway systems;Pogosto kupljeno skupaj
Mladinska knjiga, Emka.si
www.emka.si
Mehka vezava
Ostali so si ogledali tudi ...
Najbolj prodajano v tem trenutku!
Najbolj prodajane, brane in aktualne knjige ta trenutek, slovenske in angleške: romani, priročniki, vodniki, potopisi, poezija, slikanice, pravljice, kartonke, uganke, stripi, otroške knjige … Novosti in uspešnice na enem mestu. V spletni knjigarni www.emka.si!
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.