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 gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 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

Rigorous State-Based Methods

Name: Rigorous State-Based Methods
Brand: Springer
SKU: 44989286
Price: 30822 HUF
Availability: InStock
Author: Uwe Glasser
ISBN: 9783031331633

9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Nyelv

Angol

E-könyv Adobe ePub DRM

Kiadó Springer, május 2023

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State... Teljes leírás

Libristo kód: 44989286

211 b

30 822 Ft

Raktáron Azonnal letölthető

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

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 Rigorous State-Based Methods

Szerző Uwe Glasser, Jose Creissac Campos, Dominique Mery, Philippe Palanque

Nyelv

Angol

Kötés E-könyv - Adobe ePub DRM

Kiadás éve 2023

EAN 9783031331633

Libristo kód 44989286

Kiadó Springer

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete

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