Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
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
0
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 phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Model Checking Software

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Bernd Fischer
Libristo kód: 09486332
Nakladateľstvo Springer International Publishing AG, august 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Celý popis
? 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

Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele / Kniha Brožovaná
common.buy 24.14 €
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Kniha Brožovaná
common.buy 81.74 €
Two Indian Children of Long Ago Frances Lilian Taylor / Kniha Brožovaná
common.buy 14.54 €
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Kniha Pevná
common.buy 6.36 €
Nech se vést láskou Sri Chinmoy / Tlačovina Karty
common.buy 3.73 €
COLOREA TU UNICORNIO / Kniha Kniha
common.buy 8.58 €
451° по Фаренгейту Рэй Брэдбери / Kniha Pevná
common.buy 14.04 €
Jóvenes empresarios: apoyo y formación / Kniha Brožovaná
common.buy 54.26 €
Servalo Raine Hawthorn / Kniha Brožovaná
common.buy 10.80 €
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Kalendár/Diár Kalendár
common.buy 21.31 €
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Kniha Brožovaná
common.buy 14.44 €
Krankheiten des Magens Max Einhorn / Kniha Brožovaná
common.buy 24.14 €
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Kniha Brožovaná
common.buy 64.76 €
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Kniha Pevná
common.buy 83.16 €
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Kniha Brožovaná
common.buy 11.71 €
Jardin Des Cultures Guyanaises Buland-F / Kniha Brožovaná
common.buy 63.96 €
Kritická reflexe demokracie a občanské společnosti Martin Šimsa / Kniha Brožovaná
common.buy 9.99 €
Modern Sehircilikte Rekreasyon ve Rekreasyon Liderligi Umut Davut Basoglu / Kniha Brožovaná
common.buy 44.45 €
Al culmine della disperazione Emil M. Cioran / Kniha Brožovaná
common.buy 27.98 €
TEHG - ZuV 2020 Lars Hoffmann / Kniha Kniha
common.buy 70.02 €
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Kniha Brožovaná
common.buy 20.50 €
Teczka ofertowa 9002 A4 20 koszulek / Kniha binding.
common.buy 3.83 €
Lacno
LAC Wanderkarte Madonie 1:50 000 / Tlačovina Mapa
common.buy 7.06 €
DUSK MAIDEN OF AMNESIA 4 MAYBE / Kniha Pevná
common.buy 11.41 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
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 Bernd Fischer, Jaco Geldenhuys
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2015
Počet strán 319
EAN 9783319234038
ISBN 331923403X
Libristo kód 09486332
Nakladateľstvo Springer International Publishing AG
Váha 5153
Rozmery 155 x 235 x 20

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
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 > Architektúra počítača a logic dizajn
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ť

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin / Kniha Pevná
common.buy 674.72 €
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / E-kniha Adobe ePub DRM
common.buy 2.01 €
Best Fairy Tales Hans Christian Andersen / Kniha Pevná
common.buy 14.84 €
History and Development of the Arabic Language Mohamed El-Sharkawi / Kniha Brožovaná
common.buy 67.90 €
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Kniha Brožovaná
common.buy 31.82 €
Protecting Maggie / Kniha Brožovaná
common.buy 14.74 €
Journal of Biblical and Theological Studies Ryan A. Brandt / Kniha Brožovaná
common.buy 19.29 €
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Kniha Brožovaná
common.buy 11.51 €
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Kniha Brožovaná
common.buy 11.21 €
The New Century Standard Letter-Writer Alfred B. Chambers / Kniha Brožovaná
common.buy 35.66 €
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Kniha Pevná
common.buy 52.64 €
Branding Japanese Food Katarzyna J. Cwiertka / Kniha Pevná
common.buy 84.98 €
Superpower Involvement In The Middle East Paul Marantz / E-kniha Adobe ePub DRM
common.buy 54.56 €
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Kniha Brožovaná
common.buy 91.24 €
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Kniha Pevná
common.buy 42.63 €
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Kniha Brožovaná
common.buy 14.95 €
Delicious Rob Dunn / Kniha Brožovaná
common.buy 15.45 €
Psychology Ryan Gold / Kniha Brožovaná
common.buy 14.34 €
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 / Kniha Brožovaná
common.buy 10.20 €
Zinc in Soil-Plant Continuum Sudhakar Srivastava / Kniha Pevná
common.buy 236.25 €
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Kniha Brožovaná
common.buy 55.97 €
Cinema of Hong Kong Poshek FuDavid Desser / Kniha Brožovaná
common.buy 38.29 €
Women Vietnam Veterans DONNA A. LOWERY / Kniha Brožovaná
common.buy 29.70 €
Top
Inuyasha (VIZBIG Edition), Vol. 1 Rumiko Takahashi / Kniha Brožovaná
common.buy 18.28 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet