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.

Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software María del Mar Gallardo
Libristo kód: 19534895
Nakladatelství Springer International Publishing AG, červen 2018
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking... 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

naanallada naanu s.g.shivashankar / Kniha Brožovaná
common.buy 360 Kč
Biología: Selección y no selección Leandra Griffith -Jn Baptiste / Kniha Brožovaná
common.buy 813 Kč
Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami / Kniha Brožovaná
common.buy 1 014 Kč
Das Erbe Martin Wieland / Kniha Brožovaná
common.buy 469 Kč
Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila / Kniha Brožovaná
common.buy 377 Kč
Elaboración de vinos espumosos y cavas Madrid Vicente / Kniha Brožovaná
common.buy 928 Kč
FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Kniha Brožovaná
common.buy 630 Kč
Rüyalar ve Uyanislar Defteri Latife Tekin / Kniha Brožovaná
common.buy 325 Kč
Anders, Korbonski, Sieniewicz... Ziętara Paweł / Kniha Brožovaná
common.buy 214 Kč
Gesammelte Werke Ernst Von Wildenbruch / Kniha Brožovaná
common.buy 1 318 Kč

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

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 Model Checking Software
Autor María del Mar Gallardo, Pedro Merino
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2018
Počet stran 347
EAN 9783319941103
ISBN 3319941100
Libristo kód 19534895
Nakladatelství Springer International Publishing AG
Váha 557
Rozměry 155 x 235 x 20

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Počítačové modelování a simulace
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

Hymns, Psalms and Prayers Isaac Mayer Wise / Kniha Brožovaná
common.buy 469 Kč
The Heart of Your Script Phil Hughes / Kniha Brožovaná
common.buy 790 Kč
Ecocriticism and Italy Serenella Iovino / Kniha Brožovaná
common.buy 1 280 Kč
Tiny the Vancouver Easter Bunny Eric James / Kniha Pevná
common.buy 215 Kč
Bon Iver Bon / Kniha Kniha
common.buy 522 Kč
Egyptian Colloquial Arabic Verbs Matthew Aldrich / Kniha Brožovaná
common.buy 575 Kč
Inventive Engineering Tomasz Arciszewski / Kniha Pevná
common.buy 6 565 Kč
The True Story of the Three Billy Goats Gruff: The Troll's Side of the Story David Reynolds / Kniha Brožovaná
common.buy 340 Kč
An ANFIS Based Study for High Impedance Faults in Distribution Systems M. S. Abdel Aziz / Kniha Brožovaná
common.buy 1 014 Kč
Glencoe Accounting: First Year Course, School-To-Work Handbook McGraw-Hill/Glencoe / Kniha Brožovaná
common.buy 405 Kč
Danger Music Eddie Ayres / Kniha Brožovaná
common.buy 244 Kč
Avatar Coloring Book: Coloring Book for Kids and Adults with Fun, Easy, and Relaxing Coloring Pages Linda Johnson / Kniha Brožovaná
common.buy 154 Kč
Radiant, Vol. 8, 8 Tony Valente / Kniha Brožovaná
common.buy 191 Kč
Interpreting the New Testament Francis J. Moloney / Kniha Brožovaná
common.buy 758 Kč
genealogical dictionary of the first settlers of New England, Volume 2 James Savage / E-kniha Adobe ePub DRM
common.buy 294 Kč
Catch a Falling Star Mason Stone / Kniha Brožovaná
common.buy 250 Kč
Towards a Federal Europe Alexander H. Trechsel / Kniha Brožovaná
common.buy 1 143 Kč
Připravujeme Nové
The "Banner" of the Great Ming and Little China Consciousness Sun Weiguo / Kniha Pevná
common.buy 4 969 Kč
Developmental-Behavioral Disorders Marvin I. Gottlieb / Kniha Brožovaná
common.buy 1 182 Kč
Creating Textures in Pen & Ink with Watercolor Claudia Nice / Kniha Brožovaná
common.buy 425 Kč
Introduction to Transport Policy - A Public Policy View Peter R. Stopher / Kniha Pevná
common.buy 4 011 Kč
My Neighbor Jesus - In The Light Of His Own Language, People And Time George M. Lamsa / Kniha Brožovaná
common.buy 748 Kč
Free Fall Robert Crais / Kniha Brožovaná
common.buy 337 Kč
Electronic Banking Scn Education B. V. / Kniha Brožovaná
common.buy 2 357 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