Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
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
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Verification, Model Checking, and Abstract Interpretation

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification, Model Checking, and Abstract Interpretation Constantin Enea
Libristo kód: 21040880
Nakladateľstvo Springer Nature Switzerland AG, január 2019
This book constitutes the refereed proceedings of the 20th International Conference on Verification,... Celý popis
? points 125 b
51.73 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Vesper Chronicles, 1 Blu-ray Kristina Buozyte / Video Blu-ray
common.buy 14.77 €
Top
One Piece Color Walk - Tome 09 Eiichiro Oda / Kniha Brožovaná
common.buy 30.77 €
Les Drapeaux du monde expliqués aux enfants Sylvie Bednar / Kniha Pevná
common.buy 24.70 €
Á Fer? Og Flugi: Kv??abálkur Stephan Guðmundsson Stephansson / Kniha Brožovaná
common.buy 15.69 €
Gefühle Wimmelbuch Alexandra Helm / Kniha Leporelo
common.buy 11.74 €
Football - The Ultimate Book Bernd Pohlenz / Kniha Pevná
common.buy 60.54 €
Dragon Ball Serie Roja nº 282 Akira Toriyama / Kniha Brožovaná
common.buy 5.26 €
Zukunftsforschung. Über die wissenschaftliche Untersuchung 'der Zukunft' / Kniha Brožovaná
common.buy 14.47 €
Kníhkupectvo nových začiatkov Jenny Colgan / Kniha Pevná
common.buy 19.43 €
Derecho ambiental : los desafíos del cambio global : ocho cuestiones clave Silvia Jaquenod de Zsögön / Kniha Brožovaná
common.buy 23.28 €
Untersuchungen ber Das W lzreibungs- Und Abnutzungsverhalten Von Titan Und Titanlegierungen Hans Krause / Kniha Brožovaná
common.buy 77.15 €
Rekonstruktion und Erschliessung mittelalterlicher Bibliotheken Michael Embach / Kniha Pevná
common.buy 83.73 €
Zermatt / Kniha Brožovaná
common.buy 19.63 €
Wie erreiche ich wen - in allen deutschen Häfen 2014, 1 CD-ROM / Digital Digital CD
common.buy 124.74 €
Transferencia de calor en un sistema solar de calentamiento de aire Alfredo Flores Irigollen / Kniha Brožovaná
common.buy 32.09 €
Correspondances D'Alger 1962 Didier Robert-Ales / Kniha Brožovaná
common.buy 63.08 €
Mandy Birgit Zaczek / Kniha Brožovaná
common.buy 5.66 €
Actividades de animación para la tercera edad Jacques Choque / Kniha Brožovaná
common.buy 34.82 €
Tirant lo Blanc (versió Palomero) JOANOT MARTORELL / Kniha Brožovaná
common.buy 28.04 €
Contratiempos Kahane / Kniha Brožovaná
common.buy 15.28 €
Schule für kleine Trommel Felix Dierkes / Kniha Brožovaná
common.buy 36.04 €
Pripravujeme
FRE-SANS MASQUE Truda Rosenberg / Kniha Brožovaná
common.buy 16.80 €
Schleich Weißwedelkalb, Kunststoff-Figur Schleich® / Hra/Hračka Hračka
common.buy 6.07 €
Polednice Plešatá palice H:o)nza Vojtko / Kniha Brožovaná
common.buy 9.61 €

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstract

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Verification, Model Checking, and Abstract Interpretation
Autor Constantin Enea, Ruzica Piskac
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2019
Počet strán 602
EAN 9783030112448
ISBN 3030112446
Libristo kód 21040880
Nakladateľstvo Springer Nature Switzerland AG
Váha 937
Rozmery 155 x 235 x 235

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo > Testovanie a verifikácia softvéru
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Environmental Policymaking in an Era of Climate Change NOWLIN / Kniha Brožovaná
common.buy 59.03 €
Advanced Python Programming DR. GABRIELE LANARO / Kniha Brožovaná
common.buy 43.13 €
Swallow (NHB Modern Plays) Stef Smith / E-kniha Adobe ePub DRM
common.buy 16.50 €
Top
Istanbul Bettany Hughes / Kniha Brožovaná
common.buy 16.80 €
The Quest of the Four: A Story of the Comanches and Buena Vista Joseph A. Altsheler / Kniha Brožovaná
common.buy 13.96 €
Concrete Roses Le'Taxione / Kniha Brožovaná
common.buy 14.07 €
The Tragedy of Coriolanus: A Play William Shakespeare / Kniha Brožovaná
common.buy 8.09 €
History and Analysis of the Common law of England. Written by a Learned Hand MATTHEW HALE / Kniha Pevná
common.buy 31.89 €
Top
Demon in the Wood Leigh Bardugo / Kniha Pevná
common.buy 17.00 €
WENSLEY-DALE; OR, RURAL CONTEMPLATIONS: THOMAS MAUDE / Kniha Pevná
common.buy 29.25 €
City of Dusk Tara Sim / Kniha Pevná
common.buy 19.94 €
Confessions Of A Hollywood Voice & Speech Coach Morton Cooper / Kniha Brožovaná
common.buy 12.34 €
A Short History Of England (1917) G. K. Chesterton / Kniha Brožovaná
common.buy 24.70 €
The Negroni Matt Hranek / Kniha Pevná
common.buy 14.88 €
LEGO Arduino Cookbook Grady Koch / Kniha Brožovaná
common.buy 38.87 €
Cambridge Primary World English Learner's Book Stage 1 Gill Budgell / Kniha Brožovaná
common.buy 20.95 €
Cannabinoid Cookbook Daniel Green / Kniha Pevná
common.buy 27.13 €
Top
Nomadland Jessica Bruder / Video DVD
common.buy 9.00 €
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 12 Shirotaka / Kniha Brožovaná
common.buy 11.53 €
What in the World? Look Again National Geographic Kids / Kniha Pevná
common.buy 13.15 €
Restless Souls Alisa Statman / Kniha Brožovaná
common.buy 13.15 €
Children, Social Science, and the Law Bette L. BottomsMargaret Bull KoveraBradley D. McAuliff / Kniha Brožovaná
common.buy 68.65 €
Nibbles: The Very Hungry Book Monster Emma Yarlett / Kniha Brožovaná
common.buy 8.70 €
The Complete APA 7th Edition Guide Gregory Dixon / Kniha Brožovaná
common.buy 13.05 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?