Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Model Checking Software

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

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Bernd Fischer
Kod Libristo: 09486332
Wydawnictwo Springer International Publishing AG, sierpień 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele / Książka Miękka
common.buy 90.92 zł
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Książka Miękka
common.buy 346.66 zł
Two Indian Children of Long Ago Frances Lilian Taylor / Książka Miękka
common.buy 65.33 zł
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Książka Twarda
common.buy 27.19 zł
Nech se vést láskou Sri Chinmoy / Prasa Karty
common.buy 16.45 zł
COLOREA TU UNICORNIO / Książka Książka
common.buy 36.22 zł
451° по Фаренгейту Рэй Брэдбери / Książka Twarda
common.buy 59.51 zł
Jóvenes empresarios: apoyo y formación / Książka Miękka
common.buy 230.23 zł
Servalo Raine Hawthorn / Książka Miękka
common.buy 48.17 zł
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 90.52 zł
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Książka Miękka
common.buy 61.11 zł
Krankheiten des Magens Max Einhorn / Książka Miękka
common.buy 102.27 zł
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Książka Miękka
common.buy 274.90 zł
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Książka Twarda
common.buy 352.78 zł
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Książka Miękka
common.buy 49.57 zł
Jardin Des Cultures Guyanaises Buland-F / Książka Miękka
common.buy 271.59 zł
Kritická reflexe demokracie a občanské společnosti Martin Šimsa / Książka Miękka
common.buy 43.95 zł
Modern Sehircilikte Rekreasyon ve Rekreasyon Liderligi Umut Davut Basoglu / Książka Miękka
common.buy 188.68 zł
Al culmine della disperazione Emil M. Cioran / Książka Miękka
common.buy 118.62 zł
TEHG - ZuV 2020 Lars Hoffmann / Książka Książka
common.buy 297.08 zł
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Książka Miękka
common.buy 82.69 zł
Teczka ofertowa 9002 A4 20 koszulek / Książka binding.
common.buy 14.14 zł
Tanie
LAC Wanderkarte Madonie 1:50 000 / Prasa Mapa
common.buy 30.10 zł
DUSK MAIDEN OF AMNESIA 4 MAYBE / Książka Twarda
common.buy 48.37 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Model Checking Software
Autor Bernd Fischer, Jaco Geldenhuys
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 319
EAN 9783319234038
ISBN 331923403X
Kod Libristo 09486332
Wydawnictwo Springer International Publishing AG
Waga 5153
Wymiary 155 x 235 x 20

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin / Książka Twarda
common.buy 2 862.99 zł
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / E-book Adobe ePub DRM
common.buy 8.62 zł
Best Fairy Tales Hans Christian Andersen / Książka Twarda
common.buy 50.28 zł
History and Development of the Arabic Language Mohamed El-Sharkawi / Książka Miękka
common.buy 301.29 zł
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Książka Miękka
common.buy 135.29 zł
Protecting Maggie / Książka Miękka
common.buy 66.94 zł
Journal of Biblical and Theological Studies Ryan A. Brandt / Książka Miękka
common.buy 86.21 zł
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Książka Miękka
common.buy 51.48 zł
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Książka Miękka
common.buy 49.87 zł
The New Century Standard Letter-Writer Alfred B. Chambers / Książka Miękka
common.buy 151.14 zł
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Książka Twarda
common.buy 238.26 zł
Branding Japanese Food Katarzyna J. Cwiertka / Książka Twarda
common.buy 360.51 zł
Superpower Involvement In The Middle East Paul Marantz / E-book Adobe ePub DRM
common.buy 231.04 zł
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Książka Miękka
common.buy 406.78 zł
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Książka Twarda
common.buy 190.29 zł
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Książka Miękka
common.buy 66.73 zł
Delicious Rob Dunn / Książka Miękka
common.buy 69.85 zł
Psychology Ryan Gold / Książka Miękka
common.buy 60.81 zł
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 / Książka Miękka
common.buy 45.76 zł
Zinc in Soil-Plant Continuum Sudhakar Srivastava / Książka Twarda
common.buy 1 002.66 zł
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Książka Miękka
common.buy 248.40 zł
Cinema of Hong Kong Poshek FuDavid Desser / Książka Miękka
common.buy 170.31 zł
Women Vietnam Veterans DONNA A. LOWERY / Książka Miękka
common.buy 132.27 zł
TOP
Inuyasha (VIZBIG Edition), Vol. 1 Rumiko Takahashi / Książka Miękka
common.buy 82.49 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?