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

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
Nakladatelství Springer International Publishing AG, srpen 2015
This book constitutes the refereed proceedings of the 21st 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

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 585 Kč
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Kniha Brožovaná
common.buy 1 863 Kč
Two Indian Children of Long Ago Frances Lilian Taylor / Kniha Brožovaná
common.buy 352 Kč
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Kniha Pevná
common.buy 155 Kč
Nech se vést láskou Sri Chinmoy / Tiskovina Karty
common.buy 79 Kč
COLOREA TU UNICORNIO / Kniha Kniha
common.buy 207 Kč
451° по Фаренгейту Рэй Брэдбери / Kniha Pevná
common.buy 340 Kč
Jóvenes empresarios: apoyo y formación / Kniha Brožovaná
common.buy 1 237 Kč
Servalo Raine Hawthorn / Kniha Brožovaná
common.buy 261 Kč
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Kalendář/Diář Kalendář
common.buy 487 Kč
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Kniha Brožovaná
common.buy 328 Kč
Krankheiten des Magens Max Einhorn / Kniha Brožovaná
common.buy 550 Kč
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Kniha Brožovaná
common.buy 1 569 Kč
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Kniha Pevná
common.buy 2 014 Kč
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Kniha Brožovaná
common.buy 267 Kč
Jardin Des Cultures Guyanaises Buland-F / Kniha Brožovaná
common.buy 1 459 Kč
Kritická reflexe demokracie a občanské společnosti Martin Šimsa / Kniha Brožovaná
common.buy 243 Kč
Modern Sehircilikte Rekreasyon ve Rekreasyon Liderligi Umut Davut Basoglu / Kniha Brožovaná
common.buy 1 014 Kč
Al culmine della disperazione Emil M. Cioran / Kniha Brožovaná
common.buy 640 Kč
TEHG - ZuV 2020 Lars Hoffmann / Kniha Kniha
common.buy 1 696 Kč
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Kniha Brožovaná
common.buy 497 Kč
Teczka ofertowa 9002 A4 20 koszulek / Kniha binding.
common.buy 94 Kč
Levně
LAC Wanderkarte Madonie 1:50 000 / Tiskovina Mapa
common.buy 172 Kč
DUSK MAIDEN OF AMNESIA 4 MAYBE / Kniha Pevná
common.buy 276 Kč

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 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 Bernd Fischer, Jaco Geldenhuys
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 319
EAN 9783319234038
ISBN 331923403X
Libristo kód 09486332
Nakladatelství Springer International Publishing AG
Váha 5153
Rozměry 155 x 235 x 20

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
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 > Architektura počítače a logic design
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

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