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 GLS pont 1 390 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 790 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

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Model Checking Software Bernd Fischer
Libristo kód: 09486332
Kiadó Springer International Publishing AG, augusztus 2015
This book constitutes the refereed proceedings of the 21st 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

Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele / Könyv Puha kötésű
common.buy 8 574 Ft
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Könyv Puha kötésű
common.buy 31 729 Ft
Two Indian Children of Long Ago Frances Lilian Taylor / Könyv Puha kötésű
common.buy 5 981 Ft
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Könyv Kemény kötésű
common.buy 2 274 Ft
Nech se vést láskou Sri Chinmoy / Nyomtatványok Kártya
common.buy 1 451 Ft
COLOREA TU UNICORNIO / Könyv Könyv
common.buy 3 032 Ft
451° по Фаренгейту Рэй Брэдбери / Könyv Kemény kötésű
common.buy 4 982 Ft
Jóvenes empresarios: apoyo y formación / Könyv Puha kötésű
common.buy 21 062 Ft
Servalo Raine Hawthorn / Könyv Puha kötésű
common.buy 4 368 Ft
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Naptár/Határidőnapló Naptár
common.buy 8 282 Ft
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Könyv Puha kötésű
common.buy 5 597 Ft
Krankheiten des Magens Max Einhorn / Könyv Puha kötésű
common.buy 9 364 Ft
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Könyv Puha kötésű
common.buy 22 994 Ft
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Könyv Kemény kötésű
common.buy 29 520 Ft
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Könyv Puha kötésű
common.buy 4 543 Ft
Jardin Des Cultures Guyanaises Buland-F / Könyv Puha kötésű
common.buy 24 843 Ft
Kritická reflexe demokracie a občanské společnosti Martin Šimsa / Könyv Puha kötésű
common.buy 3 679 Ft
Modern Sehircilikte Rekreasyon ve Rekreasyon Liderligi Umut Davut Basoglu / Könyv Puha kötésű
common.buy 17 267 Ft
Al culmine della disperazione Emil M. Cioran / Könyv Puha kötésű
common.buy 10 801 Ft
TEHG - ZuV 2020 Lars Hoffmann / Könyv Könyv
common.buy 24 856 Ft
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Könyv Puha kötésű
common.buy 7 284 Ft
Teczka ofertowa 9002 A4 20 koszulek / Könyv binding.
common.buy 1 377 Ft
Olcsón
LAC Wanderkarte Madonie 1:50 000 / Nyomtatványok Térkép
common.buy 2 519 Ft
DUSK MAIDEN OF AMNESIA 4 MAYBE / Könyv Kemény kötésű
common.buy 4 044 Ft

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

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ő Bernd Fischer, Jaco Geldenhuys
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2015
Oldalszám 319
EAN 9783319234038
ISBN 331923403X
Libristo kód 09486332
Kiadó Springer International Publishing AG
Súly 5153
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 > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
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épes építészet és logika tervezés
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

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin / Könyv Kemény kötésű
common.buy 239 514 Ft
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / E-könyv Adobe ePub DRM
common.buy 716 Ft
Best Fairy Tales Hans Christian Andersen / Könyv Kemény kötésű
common.buy 4 483 Ft
History and Development of the Arabic Language Mohamed El-Sharkawi / Könyv Puha kötésű
common.buy 26 996 Ft
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Könyv Puha kötésű
common.buy 12 137 Ft
Protecting Maggie / Könyv Puha kötésű
common.buy 6 156 Ft
Journal of Biblical and Theological Studies Ryan A. Brandt / Könyv Puha kötésű
common.buy 7 783 Ft
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Könyv Puha kötésű
common.buy 4 659 Ft
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Könyv Puha kötésű
common.buy 4 502 Ft
The New Century Standard Letter-Writer Alfred B. Chambers / Könyv Puha kötésű
common.buy 13 833 Ft
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Könyv Kemény kötésű
common.buy 21 926 Ft
Branding Japanese Food Katarzyna J. Cwiertka / Könyv Kemény kötésű
common.buy 31 748 Ft
Superpower Involvement In The Middle East Paul Marantz / E-könyv Adobe ePub DRM
common.buy 19 361 Ft
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Könyv Puha kötésű
common.buy 36 670 Ft
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Könyv Kemény kötésű
common.buy 17 147 Ft
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Könyv Puha kötésű
common.buy 6 036 Ft
Delicious Rob Dunn / Könyv Puha kötésű
common.buy 6 434 Ft
Psychology Ryan Gold / Könyv Puha kötésű
common.buy 5 468 Ft
Travel Activity Book For Kids Ages 6-8: Over 150 Travelling Activities for Children, including Puzzles, Mazes, Dot-to-Dots, Drawing and Coloring, Lett Natural Designs / Könyv Puha kötésű
common.buy 4 132 Ft
Zinc in Soil-Plant Continuum Sudhakar Srivastava / Könyv Kemény kötésű
common.buy 91 148 Ft
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Könyv Puha kötésű
common.buy 22 264 Ft
Cinema of Hong Kong Poshek FuDavid Desser / Könyv Puha kötésű
common.buy 15 303 Ft
Women Vietnam Veterans DONNA A. LOWERY / Könyv Puha kötésű
common.buy 11 887 Ft
Toplistás
Inuyasha (VIZBIG Edition), Vol. 1 Rumiko Takahashi / Könyv Puha kötésű
common.buy 7 594 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