Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Sprawdzić stan zamówienia

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

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

phone

Pomoc

Moje konto

▸ Pusty :-(

0

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Książka Model Checking Software María del Mar Gallardo

Model Checking Software

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

María del Mar Gallardo

Język

Angielski

Książka Miękka

Książka Model Checking Software María del Mar Gallardo

Kod Libristo: 19534895

Wydawnictwo Springer International Publishing AG, czerwiec 2018

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking... Cały opis

Kod Libristo: 19534895

?

points

125 b

219.03 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

naanallada naanu s.g.shivashankar

/

Miękka

66.24 zł

Biología: Selección y no selección Leandra Griffith -Jn Baptiste

/

Miękka

151.17 zł

Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami

/

Miękka

188.71 zł

Das Erbe Martin Wieland

/

Miękka

87.22 zł

Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila

/

Miękka

66.04 zł

Elaboración de vinos espumosos y cavas Madrid Vicente

/

Miękka

162.61 zł

FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Książka

Miękka

110.41 zł

Rüyalar ve Uyanislar Defteri Latife Tekin

/

Miękka

60.12 zł

Anders, Korbonski, Sieniewicz... Ziętara Paweł

/

Miękka

30.81 zł

Gesammelte Werke Ernst Von Wildenbruch

/

Miękka

245.33 zł

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.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Ewa Kasp

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 María del Mar Gallardo, Pedro Merino

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2018

Liczba stron 347

EAN 9783319941103

ISBN 3319941100

Kod Libristo 19534895

Wydawnictwo Springer International Publishing AG

Waga 557

Wymiary 155 x 235 x 20

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych

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) > Matematyczna teoria obliczeń

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Modelowanie i symulacje komputerowe

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ć

Hymns, Psalms and Prayers Isaac Mayer Wise

/

Miękka

87.22 zł

The Heart of Your Script Phil Hughes

/

Miękka

144.55 zł

Ecocriticism and Italy Serenella Iovino

/

Miękka

224.25 zł

Tiny the Vancouver Easter Bunny Eric James

/

Twarda

39.94 zł

Bon Iver Bon

/

Książka

96.86 zł

Egyptian Colloquial Arabic Verbs Matthew Aldrich

/

Miękka

107.40 zł

Inventive Engineering Tomasz Arciszewski

/

Twarda

1 210.94 zł

The True Story of the Three Billy Goats Gruff: The Troll's Side of the Story David Reynolds

/

Miękka

62.93 zł

An ANFIS Based Study for High Impedance Faults in Distribution Systems M. S. Abdel Aziz

/

Miękka

188.71 zł

Glencoe Accounting: First Year Course, School-To-Work Handbook McGraw-Hill/Glencoe

/

Miękka

74.48 zł

Danger Music Eddie Ayres

/

Miękka

45.87 zł

Avatar Coloring Book: Coloring Book for Kids and Adults with Fun, Easy, and Relaxing Coloring Pages Linda Johnson

/

Miękka

28.60 zł

Radiant, Vol. 8, 8 Tony Valente

/

Miękka

35.73 zł

Interpreting the New Testament Francis J. Moloney

/

Miękka

141.73 zł

genealogical dictionary of the first settlers of New England, Volume 2 James Savage

/

Adobe ePub DRM

51.49 zł

Catch a Falling Star Mason Stone

/

Miękka

46.07 zł

Towards a Federal Europe Alexander H. Trechsel

/

Miękka

209.90 zł

The "Banner" of the Great Ming and Little China Consciousness Sun Weiguo

/

Twarda

870.63 zł

Developmental-Behavioral Disorders Marvin I. Gottlieb

/

Miękka

219.03 zł

Creating Textures in Pen & Ink with Watercolor Claudia Nice

/

Miękka

79.40 zł

Introduction to Transport Policy - A Public Policy View Peter R. Stopher

/

Twarda

702.79 zł

My Neighbor Jesus - In The Light Of His Own Language, People And Time George M. Lamsa

/

Miękka

131.09 zł

Free Fall Robert Crais

/

Miękka

50.28 zł

Electronic Banking Scn Education B. V.

/

Miękka

436.67 zł