A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
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ó
0
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
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Verification, Model Checking, and Abstract Interpretation

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Verification, Model Checking, and Abstract Interpretation Bernd Finkbeiner
Libristo kód: 38504817
Kiadó Springer Nature Switzerland AG, január 2022
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch... Teljes leírás
? points 244 b
35 580 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

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

Slownik dla pielegniarek - opiekunow - rehabilitantow polsko-niemiecki . niemiecko-polski / Könyv Puha kötésű
common.buy 2 964 Ft
Lo que debe saber todo buen republicano Anónimo / Könyv Puha kötésű
common.buy 5 606 Ft
Ojo de Halcon: Seis dias en la vida de ... FRACTION / Könyv Puha kötésű
common.buy 5 721 Ft
Europäische Kompetenzabgrenzung als deutsches Verfassungspostulat Uwe Leonardy / Könyv Kemény kötésű
common.buy 24 737 Ft
Jak se brání psycholog Pauline Dolezal / Könyv Kemény kötésű
common.buy 1 882 Ft
Zur Legis Actio Sacramento in Rem: Habilitationsschrift Philipp Lotmar / Könyv Puha kötésű
common.buy 7 354 Ft
Hemingi Chartularium Ecclesiae Wigorniensis (1723) Hemingus / Könyv Kemény kötésű
common.buy 19 601 Ft
Der Sockel in der Skulptur des 19. und 20. Jahrhunderts Johannes Myssok / Könyv Kemény kötésű
common.buy 22 358 Ft
COMO PROGRAMAR EN INTERNET & WORLD WIDE WEB / Könyv Puha kötésű
common.buy 28 576 Ft
Der tolle Bomberg, 1 DVD Rolf Thiele / Filmek DVD
common.buy 7 677 Ft
Le préfet et les collectivités Sut / Könyv Puha kötésű
common.buy 28 912 Ft

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
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 Verification, Model Checking, and Abstract Interpretation
Szerző Bernd Finkbeiner, Thomas Wies
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2022
Oldalszám 520
EAN 9783030945824
Libristo kód 38504817
Kiadó Springer Nature Switzerland AG
Súly 807
Méretek 155 x 235 x 29

Kategória

Számítástechnika és információtechnológia > Számítógéptudomá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

Ezt is ajánljuk

Parameters in Old French Syntax: Infinitival Complements E. H. Pearce / Könyv Kemény kötésű
common.buy 59 222 Ft
Traitor King: The Scandalous Exile of the Duke & Duchess of Windsor Lownie / Könyv Puha kötésű
common.buy 6 130 Ft
Joy of Basketball Andrew Kuo / Könyv Kemény kötésű
common.buy 12 886 Ft
Nuclear Power's Global Expansion: Weighing Its Costs and Risks Henry D Sokolski / Könyv Puha kötésű
common.buy 9 458 Ft
Zombies vs. Robots 2 Joe Cautilli / Könyv Puha kötésű
common.buy 6 011 Ft
Beyond A Small Town: The Unofficial Mayor of Unionville Peter H Hassett / Könyv Puha kötésű
common.buy 2 582 Ft
STORY OF THE 2ND WW Henry Steele Commager / Könyv Puha kötésű
common.buy 6 683 Ft
WHEN THE LORD REMEMBERS HIS OW Malcolm Davis / Könyv Puha kötésű
common.buy 4 450 Ft
Cads, Princes & Best Friends Danielle Coulanges / Könyv Kemény kötésű
common.buy 12 201 Ft
Neufs Vies Du Chat Montezuma Michael Morpurgo / Könyv Puha kötésű
common.buy 3 314 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?