Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod.
Založiť účet zdarma
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 €
Zberné miesto GLS 2.99 €
SPS 3.99 €
Kuriér GLS 3.49 €
SPS Parcel Shop 2.99 €
Packeta kurýr 3.99 €
Pošta 3.99 €
Zberné miesto DPD 2.99 €
Zberné miesto DPD 0.00 €
Packeta 2.99 €
Kontakt
Ako nakupovať
Pomoc
Doručenie
Kuriér DPD 2.99 €
Zberné miesto GLS 2.99 €
SPS 3.99 €
Kuriér GLS 3.49 €
SPS Parcel Shop 2.99 €
Packeta kurýr 3.99 €
Pošta 3.99 €
Zberné miesto DPD 2.99 €
Zberné miesto DPD 0.00 €
Packeta 2.99 €
Doprava zadarmo s Packetou nad 59.99 €
Nákupný poradca
Sme tu pre Vás!
02/210 210 99
Môj účet
▸
Prázdny :-(
0
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the...
Celý popis
Libristo kód: 50453575
?
138 b
138 b
56.95
€
Skladom u dodávateľa
Odosielame za 10-18 dní
30 dní na vrátenie tovaru
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.
The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:
Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;
Part II: Decision procedures; model checking; neural networks and machine learning;
Part II: Probabilistic systems; security and quantum systems; software verification.
Herečka
&
Polyglotka
EWA KASP
pre
Prehrať video
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.
Informácie o knihe
Celý názov
Computer Aided Verification
Autor
Constantin Enea, Akash Lal
Jazyk
Angličtina
Angličtina
Väzba
Kniha - Brožovaná
Dátum vydania
2023
Počet strán
522
EAN
9783031377075
ISBN
3031377079
Libristo kód
50453575
Nakladateľstvo
Springer Nature B.V.
Váha
725
Rozmery
156 x 234 x 27
