A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Model Checking Software

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Model Checking Software María del Mar Gallardo
Libristo kód: 19534895
Kiadó Springer International Publishing AG, június 2018
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking... Teljes leírás
? points 136 b
19 902 Ft
Beszállítói készleten Küldés 5-8 napon belül

30 nap a termék visszaküldésére

A vásárlók ilyet vásároltak

Das Erbe Martin Wieland / Könyv Puha kötésű
common.buy 7 987 Ft
Gesammelte Werke Ernst Von Wildenbruch / Könyv Puha kötésű
common.buy 22 439 Ft
Biología: Selección y no selección Leandra Griffith -Jn Baptiste / Könyv Puha kötésű
common.buy 13 833 Ft
naanallada naanu s.g.shivashankar / Könyv Puha kötésű
common.buy 5 967 Ft
Plastic Death Glass Beach / Hanganyagok Audio CD
common.buy 8 398 Ft
Anders, Korbonski, Sieniewicz... Ziętara Paweł / Könyv Puha kötésű
common.buy 3 138 Ft
Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila / Könyv Puha kötésű
common.buy 5 523 Ft
Elaboración de vinos espumosos y cavas Madrid Vicente / Könyv Puha kötésű
common.buy 13 602 Ft
FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Könyv Puha kötésű
common.buy 9 235 Ft
Rüyalar ve Uyanislar Defteri Latife Tekin / Könyv Puha kötésű
common.buy 5 454 Ft
Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami / Könyv Puha kötésű
common.buy 17 267 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Model Checking Software
Szerző María del Mar Gallardo, Pedro Merino
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2018
Oldalszám 347
EAN 9783319941103
ISBN 3319941100
Libristo kód 19534895
Kiadó Springer International Publishing AG
Súly 557
Méretek 155 x 235 x 20

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Komputermodellálás és szimuláció
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Testing: Academic and Industrial Conference - Practice and Research Techniques Leonardo Bottaci / Könyv Puha kötésű
common.buy 22 264 Ft
Danger Music Eddie Ayres / Könyv Puha kötésű
common.buy 4 090 Ft
Metadata for Information Management and Retrieval DAVID HAYNES / Könyv Puha kötésű
common.buy 35 089 Ft
Glencoe Accounting: First Year Course, School-To-Work Handbook McGraw-Hill/Glencoe / Könyv Puha kötésű
common.buy 6 669 Ft
Ecocriticism and Italy Serenella Iovino / Könyv Puha kötésű
common.buy 20 724 Ft
Shays's Rebellion Richards / Könyv Puha kötésű
common.buy 9 133 Ft
Egyptian Colloquial Arabic Verbs Matthew Aldrich / Könyv Puha kötésű
common.buy 9 877 Ft
Inventive Engineering Tomasz Arciszewski / Könyv Kemény kötésű
common.buy 106 363 Ft
The True Story of the Three Billy Goats Gruff: The Troll's Side of the Story David Reynolds / Könyv Puha kötésű
common.buy 5 685 Ft
Villainous Jessica S Carter / Könyv Puha kötésű
common.buy 3 619 Ft
An ANFIS Based Study for High Impedance Faults in Distribution Systems M. S. Abdel Aziz / Könyv Puha kötésű
common.buy 17 267 Ft
Hymns, Psalms and Prayers Isaac Mayer Wise / Könyv Puha kötésű
common.buy 7 987 Ft
Tiny the Vancouver Easter Bunny Eric James / Könyv Kemény kötésű
common.buy 3 476 Ft
Avatar Coloring Book: Coloring Book for Kids and Adults with Fun, Easy, and Relaxing Coloring Pages Linda Johnson / Könyv Puha kötésű
common.buy 2 579 Ft
Radiant, Vol. 8, 8 Tony Valente / Könyv Puha kötésű
common.buy 3 282 Ft
Interpreting the New Testament Francis J. Moloney / Könyv Puha kötésű
common.buy 13 043 Ft
Catch a Falling Star Mason Stone / Könyv Puha kötésű
common.buy 4 146 Ft
genealogical dictionary of the first settlers of New England, Volume 2 James Savage / E-könyv Adobe ePub DRM
common.buy 4 280 Ft
The Heart of Your Script Phil Hughes / Könyv Puha kötésű
common.buy 12 914 Ft
Hamarosan Új
The "Banner" of the Great Ming and Little China Consciousness Sun Weiguo / Könyv Kemény kötésű
common.buy 72 827 Ft
My Neighbor Jesus - In The Light Of His Own Language, People And Time George M. Lamsa / Könyv Puha kötésű
common.buy 12 253 Ft
Bon Iver Bon / Könyv Könyv
common.buy 8 823 Ft
Handbook of Metric Fixed Point Theory W. A. Kirk / Könyv Kemény kötésű
common.buy 63 430 Ft
Developmental-Behavioral Disorders Marvin I. Gottlieb / Könyv Puha kötésű
common.buy 19 902 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?