Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer Nature Switzerland AG, leden 2019
This book constitutes the refereed proceedings of the 20th International Conference on Verification,... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Vesper Chronicles, 1 Blu-ray Kristina Buozyte / Video Blu-ray
common.buy 340 Kč
Top
One Piece Color Walk - Tome 09 Eiichiro Oda / Kniha Brožovaná
common.buy 744 Kč
Les Drapeaux du monde expliqués aux enfants Sylvie Bednar / Kniha Pevná
common.buy 597 Kč
Á Fer? Og Flugi: Kv??abálkur Stephan Guðmundsson Stephansson / Kniha Brožovaná
common.buy 380 Kč
Gefühle Wimmelbuch Alexandra Helm / Kniha Leporelo
common.buy 268 Kč
Football - The Ultimate Book Bernd Pohlenz / Kniha Pevná
common.buy 1 240 Kč
Dragon Ball Serie Roja nº 282 Akira Toriyama / Kniha Brožovaná
common.buy 128 Kč
Zukunftsforschung. Über die wissenschaftliche Untersuchung 'der Zukunft' / Kniha Brožovaná
common.buy 328 Kč
Kníhkupectvo nových začiatkov Jenny Colgan / Kniha Pevná
common.buy 514 Kč
Derecho ambiental : los desafíos del cambio global : ocho cuestiones clave Silvia Jaquenod de Zsögön / Kniha Brožovaná
common.buy 564 Kč
Untersuchungen ber Das W lzreibungs- Und Abnutzungsverhalten Von Titan Und Titanlegierungen Hans Krause / Kniha Brožovaná
common.buy 1 763 Kč
Rekonstruktion und Erschliessung mittelalterlicher Bibliotheken Michael Embach / Kniha Pevná
common.buy 2 024 Kč
Zermatt / Kniha Brožovaná
common.buy 474 Kč
Wie erreiche ich wen - in allen deutschen Häfen 2014, 1 CD-ROM / Digital Digital CD
common.buy 3 015 Kč
Transferencia de calor en un sistema solar de calentamiento de aire Alfredo Flores Irigollen / Kniha Brožovaná
common.buy 732 Kč
Correspondances D'Alger 1962 Didier Robert-Ales / Kniha Brožovaná
common.buy 1 526 Kč
Mandy Birgit Zaczek / Kniha Brožovaná
common.buy 132 Kč
Actividades de animación para la tercera edad Jacques Choque / Kniha Brožovaná
common.buy 843 Kč
Tirant lo Blanc (versió Palomero) JOANOT MARTORELL / Kniha Brožovaná
common.buy 677 Kč
Contratiempos Kahane / Kniha Brožovaná
common.buy 369 Kč
Schule für kleine Trommel Felix Dierkes / Kniha Brožovaná
common.buy 871 Kč
Připravujeme
FRE-SANS MASQUE Truda Rosenberg / Kniha Brožovaná
common.buy 406 Kč
Schleich Weißwedelkalb, Kunststoff-Figur Schleich® / Hra/Hračka Hračka
common.buy 147 Kč
Polednice Plešatá palice H:o)nza Vojtko / Kniha Brožovaná
common.buy 205 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verification, Model Checking, and Abstract Interpretation
Autor Constantin Enea, Ruzica Piskac
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2019
Počet stran 602
EAN 9783030112448
ISBN 3030112446
Libristo kód 21040880
Nakladatelství Springer Nature Switzerland AG
Váha 937
Rozměry 155 x 235 x 235

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství > Testování a verifikace softwaru
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Environmental Policymaking in an Era of Climate Change NOWLIN / Kniha Brožovaná
common.buy 1 428 Kč
Advanced Python Programming DR. GABRIELE LANARO / Kniha Brožovaná
common.buy 1 042 Kč
Swallow (NHB Modern Plays) Stef Smith / E-kniha Adobe ePub DRM
common.buy 400 Kč
Top
Istanbul Bettany Hughes / Kniha Brožovaná
common.buy 358 Kč
The Quest of the Four: A Story of the Comanches and Buena Vista Joseph A. Altsheler / Kniha Brožovaná
common.buy 337 Kč
Concrete Roses Le'Taxione / Kniha Brožovaná
common.buy 339 Kč
The Tragedy of Coriolanus: A Play William Shakespeare / Kniha Brožovaná
common.buy 196 Kč
History and Analysis of the Common law of England. Written by a Learned Hand MATTHEW HALE / Kniha Pevná
common.buy 772 Kč
Top
Demon in the Wood Leigh Bardugo / Kniha Pevná
common.buy 358 Kč
WENSLEY-DALE; OR, RURAL CONTEMPLATIONS: THOMAS MAUDE / Kniha Pevná
common.buy 707 Kč
City of Dusk Tara Sim / Kniha Pevná
common.buy 486 Kč
Confessions Of A Hollywood Voice & Speech Coach Morton Cooper / Kniha Brožovaná
common.buy 299 Kč
A Short History Of England (1917) G. K. Chesterton / Kniha Brožovaná
common.buy 570 Kč
The Negroni Matt Hranek / Kniha Pevná
common.buy 335 Kč
LEGO Arduino Cookbook Grady Koch / Kniha Brožovaná
common.buy 941 Kč
Cambridge Primary World English Learner's Book Stage 1 Gill Budgell / Kniha Brožovaná
common.buy 479 Kč
Cannabinoid Cookbook Daniel Green / Kniha Pevná
common.buy 618 Kč
Top
Nomadland Jessica Bruder / Video DVD
common.buy 208 Kč
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 12 Shirotaka / Kniha Brožovaná
common.buy 260 Kč
What in the World? Look Again National Geographic Kids / Kniha Pevná
common.buy 318 Kč
Restless Souls Alisa Statman / Kniha Brožovaná
common.buy 318 Kč
Children, Social Science, and the Law Bette L. BottomsMargaret Bull KoveraBradley D. McAuliff / Kniha Brožovaná
common.buy 1 659 Kč
Nibbles: The Very Hungry Book Monster Emma Yarlett / Kniha Brožovaná
common.buy 183 Kč
The Complete APA 7th Edition Guide Gregory Dixon / Kniha Brožovaná
common.buy 316 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?