Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Verification, Model Checking, and Abstract Interpretation

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

Limba englezăengleză
Carte Carte broșată
Carte Verification, Model Checking, and Abstract Interpretation Bernd Finkbeiner
Codul Libristo: 38504817
Editura Springer Nature Switzerland AG, ianuarie 2022
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch... Descrierea completă
? points 236 b
512.46 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Dürüstlük Cagi / Carte Carte broșată
common.buy 111.17 lei
Zur Legis Actio Sacramento in Rem: Habilitationsschrift Philipp Lotmar / Carte Carte broșată
common.buy 106.17 lei
Hemingi Chartularium Ecclesiae Wigorniensis (1723) Hemingus / Carte Copertă tare
common.buy 283.34 lei
Jak se brání psycholog Pauline Dolezal / Carte Copertă tare
common.buy 30.39 lei
Europäische Kompetenzabgrenzung als deutsches Verfassungspostulat Uwe Leonardy / Carte Copertă tare
common.buy 366.10 lei
COMO PROGRAMAR EN INTERNET & WORLD WIDE WEB / Carte Carte broșată
common.buy 423.98 lei
Handbuch der podologischen Behandlungsmethoden Sybille Feindt / Carte Carte broșată
common.buy 209.22 lei
Ojo de Halcon: Seis dias en la vida de ... FRACTION / Carte Carte broșată
common.buy 84.52 lei
Lo que debe saber todo buen republicano Anónimo / Carte Carte broșată
common.buy 82.54 lei
Die Fabrikation Der Feuerfesten Steine Friedrich Wernicke / Carte Carte broșată
common.buy 399.51 lei
Ein heimlicher Quellenkanon? Neue Perspektiven auf Dokumente der Geschichte Hannah Ahlheim / Carte Carte broșată
common.buy 151.03 lei
Der Sockel in der Skulptur des 19. und 20. Jahrhunderts Johannes Myssok / Carte Copertă tare
common.buy 331.85 lei
Der tolle Bomberg, 1 DVD Rolf Thiele / Videoclip DVD
common.buy 112.52 lei
Le préfet et les collectivités Sut / Carte Carte broșată
common.buy 422.73 lei
Top
Slownik dla pielegniarek - opiekunow - rehabilitantow polsko-niemiecki . niemiecko-polski / Carte Carte broșată
common.buy 44.02 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Verification, Model Checking, and Abstract Interpretation
Autor Bernd Finkbeiner, Thomas Wies
Limba engleză
Legare Carte - Carte broșată
Data publicării 2022
Număr pagini 520
EAN 9783030945824
Codul Libristo 38504817
Editura Springer Nature Switzerland AG
Greutatea 807
Dimensiuni 155 x 235 x 29

Categorii

Computing & Information Technology > Computer science
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Richard M. Nixon and European Integration Joseph M. Siracusa / Carte Copertă tare
common.buy 938.22 lei
Safeguarding Educational Integrity Through Deepfake Face Detection Ahmed J. Obaid / Carte Copertă tare
common.buy 962.06 lei
The Doctoral Researcher's Toolkit Praveen B Malla / Carte Copertă tare
common.buy 1 338.37 lei
Traitor King: The Scandalous Exile of the Duke & Duchess of Windsor Lownie / Carte Carte broșată
common.buy 87.74 lei
Mrs Boots of Pelham Street (Mrs Boots, Book 2) Deborah Carr / E-book Adobe ePub DRM
common.buy 51.83 lei
Curând
100 Things to See in the National Parks Payne / Carte Copertă tare
common.buy 66.09 lei
Amok Sebastian Fitzek / Carte Carte broșată
common.buy 56.62 lei
Joy of Basketball Andrew Kuo / Carte Copertă tare
common.buy 115.33 lei
Neufs Vies Du Chat Montezuma Michael Morpurgo / Carte Carte broșată
common.buy 42.46 lei
Nuclear Power's Global Expansion: Weighing Its Costs and Risks Henry D Sokolski / Carte Carte broșată
common.buy 136.36 lei
Zombies vs. Robots 2 Joe Cautilli / Carte Carte broșată
common.buy 86.91 lei
Beyond A Small Town: The Unofficial Mayor of Unionville Peter H Hassett / Carte Carte broșată
common.buy 37.26 lei
STORY OF THE 2ND WW Henry Steele Commager / Carte Carte broșată
common.buy 96.07 lei
Cads, Princes & Best Friends Danielle Coulanges / Carte Copertă tare
common.buy 176.64 lei
Parameters in Old French Syntax: Infinitival Complements E. H. Pearce / Carte Copertă tare
common.buy 853.48 lei
To Do and to Endure Jeanne R. Beck / Carte Copertă tare
common.buy 173.21 lei
Time to Go on Price Summers / Carte Carte broșată
common.buy 59.22 lei
WHEN THE LORD REMEMBERS HIS OW Malcolm Davis / Carte Carte broșată
common.buy 63.90 lei
The Origins of Popular Superstitions and Customs T. Sharper Knowlson / Carte Copertă tare
common.buy 196.00 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?