Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Zistiť stav objednávky

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

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

phone

Kontakt

phone

Pomoc

Môj účet

▸ Prázdny :-(

0

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Kniha Model Checking Software María del Mar Gallardo

Model Checking Software

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

María del Mar Gallardo

Jazyk

Angličtina

Kniha Brožovaná

Kniha Model Checking Software María del Mar Gallardo

Libristo kód: 19534895

Nakladateľstvo Springer International Publishing AG, jún 2018

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking... Celý popis

Libristo kód: 19534895

?

points

125 b

51.63 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

naanallada naanu s.g.shivashankar

/

Brožovaná

14.84 €

Biología: Selección y no selección Leandra Griffith -Jn Baptiste

/

Brožovaná

35.66 €

Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami

/

Brožovaná

44.45 €

Das Erbe Martin Wieland

/

Brožovaná

20.50 €

Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila

/

Brožovaná

15.55 €

Elaboración de vinos espumosos y cavas Madrid Vicente

/

Brožovaná

38.29 €

FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Kniha

Brožovaná

25.96 €

Rüyalar ve Uyanislar Defteri Latife Tekin

/

Brožovaná

14.14 €

Anders, Korbonski, Sieniewicz... Ziętara Paweł

/

Brožovaná

8.78 €

Gesammelte Werke Ernst Von Wildenbruch

/

Brožovaná

57.79 €

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 pre

Prehrať video

Ewa Kasp

Ewa Kasp

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Model Checking Software

Autor María del Mar Gallardo, Pedro Merino

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2018

Počet strán 347

EAN 9783319941103

ISBN 3319941100

Libristo kód 19534895

Nakladateľstvo Springer International Publishing AG

Váha 557

Rozmery 155 x 235 x 20

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Algoritmy a dátové štruktúry

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Počítačové modelovanie a simulácie

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ť

Hymns, Psalms and Prayers Isaac Mayer Wise

/

Brožovaná

20.50 €

The Heart of Your Script Phil Hughes

/

Brožovaná

32.63 €

Ecocriticism and Italy Serenella Iovino

/

Brožovaná

55.57 €

Tiny the Vancouver Easter Bunny Eric James

/

Pevná

8.88 €

Bon Iver Bon

/

Kniha

22.83 €

Egyptian Colloquial Arabic Verbs Matthew Aldrich

/

Brožovaná

23.74 €

Inventive Engineering Tomasz Arciszewski

/

Pevná

285.36 €

The True Story of the Three Billy Goats Gruff: The Troll's Side of the Story David Reynolds

/

Brožovaná

14.04 €

An ANFIS Based Study for High Impedance Faults in Distribution Systems M. S. Abdel Aziz

/

Brožovaná

44.45 €

Glencoe Accounting: First Year Course, School-To-Work Handbook McGraw-Hill/Glencoe

/

Brožovaná

17.57 €

Danger Music Eddie Ayres

/

Brožovaná

10.80 €

Avatar Coloring Book: Coloring Book for Kids and Adults with Fun, Easy, and Relaxing Coloring Pages Linda Johnson

/

Brožovaná

6.36 €

Radiant, Vol. 8, 8 Tony Valente

/

Brožovaná

7.67 €

Interpreting the New Testament Francis J. Moloney

/

Brožovaná

31.32 €

genealogical dictionary of the first settlers of New England, Volume 2 James Savage

/

Adobe ePub DRM

12.12 €

Catch a Falling Star Mason Stone

/

Brožovaná

10.30 €

Towards a Federal Europe Alexander H. Trechsel

/

Brožovaná

49.40 €

The "Banner" of the Great Ming and Little China Consciousness Sun Weiguo

/

Pevná

205.13 €

Developmental-Behavioral Disorders Marvin I. Gottlieb

/

Brožovaná

51.63 €

Creating Textures in Pen & Ink with Watercolor Claudia Nice

/

Brožovaná

17.57 €

Introduction to Transport Policy - A Public Policy View Peter R. Stopher

/

Pevná

165.62 €

My Neighbor Jesus - In The Light Of His Own Language, People And Time George M. Lamsa

/

Brožovaná

32.73 €

Free Fall Robert Crais

/

Brožovaná

13.94 €

Electronic Banking Scn Education B. V.

/

Brožovaná

102.86 €