Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

A rendelés állapotának ellenőrzése

Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció

Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén

DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS pont 1 390 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 790 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Software Verification

Name: Software Verification
Brand: Springer Nature Switzerland AG
SKU: 38505070
Price: 21866 HUF
Availability: InStock
Author: Roderick Bloem
ISBN: 9783030955601

13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 38505070

Kiadó Springer Nature Switzerland AG, február 2022

This book constitutes the refereed proceedings of the 13th International Conference on Verified Soft... Teljes leírás

Libristo kód: 38505070

149 b

21 866 Ft

Beszállítói készleten Küldés 5-8 napon belül

30 nap a termék visszaküldésére

A vásárlók ilyet vásároltak

Denti bianchi Zadie Smith

Puha kötésű

9 734 Ft

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.

Színésznő & Poliglott

EWA KASP részére

A videó lejátszása

A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Software Verification

Szerző Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina

Nyelv

Angol

Kötés Könyv - Puha kötésű

Kiadás éve 2022

Oldalszám 197

EAN 9783030955601

Libristo kód 38505070

Kiadó Springer Nature Switzerland AG

Súly 332

Méretek 155 x 235 x 12

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére