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

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 Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

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

Runtime Verification

Name: Runtime Verification
Brand: Springer International Publishing AG
SKU: 09493683
Price: 223.66 PLN
Availability: InStock
Author: Ezio Bartocci
ISBN: 9783319238197

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Ezio Bartocci

Rupak Majumdar

Język

Angielski

Książka Miękka

Kod Libristo: 09493683

Wydawnictwo Springer International Publishing AG, sierpień 2015

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verifi... Cały opis

Kod Libristo: 09493683

125 b

223.66 zł

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

Nawet do 30 dni na zwrot

Klienci kupili także

Solfeggio-Frequenzen Andreas Kühnemann

Miękka

86.81 zł

Isolats bacteriens aerobies provenant d'une infection de la plaie Parajuli Pramila Parajuli

Miękka

211.97 zł

101 DIBUJOS ADORABLES DE GATOS MAYO

Książka

59.55 zł

Essen und Trinken Anja Boretzki

Gra

77.28 zł

Octomes Pierre Raufast

Miękka

108.65 zł

Kanu Kompass Mecklenburg-Vorpommern Carola Hillmann

Miękka

89.07 zł

Wilczek Ryrych Katarzyna

Twarda

18.24 zł

50 Piezas f?ciles para piano para principiantes Claudio Lupo

Miękka

66.72 zł

Love And Longing Bill Carrothers

CD Audio

81.79 zł

IQ Eylem Öncel

Miękka

52.57 zł

Handelsmarken und Erosion industrieller Markenartikel Tina Schäfer

Miękka

243.13 zł

sembrar sopa de verduras Lois Ehlert

Miękka

36.48 zł

Night Holly Cole

CD Audio

76.77 zł

Ca rime et ca swing chez Claudine Claudine Grenat

Miękka

51.14 zł

Private Geschaftsbanken Andreas Menzen

Miękka

39.56 zł

Bekannte Soldatenlieder, 1 Audio-CD. Folge.2 Soldatenchor Ginsberger Heide

CD Audio

47.45 zł

Gesammelte Schriften, Band 19 (III/Band 6), Moralphilosophie, Rechtsphilosophie und Religionsphilosophie Immanuel Kant

Twarda

794.81 zł

Blutsbruder Ernst Haffner

Miękka

58.83 zł

Chen-Stil Taijiquan Urs Krebs

Miękka

70.31 zł

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions. The discussion of the conference centers around two main aspects. The first is to understand whether the runtime verification techniques can practically complement the traditional methods proving programs correct before their execution, such as model checking and theorem proving. The second concerns with formal methods and how their application can improve traditional ad-hoc monitoring techniques used in§performance monitoring, hardware design emulation and simulation, etc.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Runtime Verification

Autor Ezio Bartocci, Rupak Majumdar

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2015

Liczba stron 432

EAN 9783319238197

ISBN 3319238191

Kod Libristo 09493683

Wydawnictwo Springer International Publishing AG

Waga 6788

Wymiary 155 x 235 x 25

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

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ć

Framework Houses Bernd Becher

Twarda

258.51 zł

Karl Blossfeldt Karl Blossfeldt

Twarda

119.20 zł

Preventing Asthma Attacks: A Self-Help Guide Kenneth Wright

Miękka

29.20 zł

The Qur'an with a Phrase-by-Phrase English Translation Ali Quli Qarai

Miękka

127.71 zł

Teaching Mathematics in the Visible Learning Classroom, Grades 6-8 John Almarode

Adobe ePub DRM

164.61 zł

Modern Bee-Keeping Herbert Mace

Miękka

89.78 zł

3D Bioprinting Sai Mounika Muramulla

Miękka

277.37 zł

Action Kadabra Authors and Dragons

Miękka

29.20 zł

Chester B. Himes Lawrence P. Jackson

Twarda

123.10 zł

Birds Of The Southwest Pacific: A Field Guide To The Birds Of The Area Between Samoa, New Caledonia, And Micronesia Ernst Mayr

Miękka

157.44 zł

John Paul II or the Saint of the youth Saint John Paul II

Miękka

31.25 zł

Navajo-English Dictionary Leon Wall

Miękka

40.58 zł

You Can Search Me George V Hobart

Miękka

33.10 zł

The Immortal Lover: The UnHoly Pursuit Saga Prequel A White

Miękka

110.69 zł

The Rising of the Shield Hero, Volume 3 Aneko Yusagi

Miękka

48.99 zł

What Do Fishies Eat? Adam Peterson

Miękka

52.57 zł

The Annals of Kendal: Being a Historical and Descriptive Account of Kendal and the Neighborhood (1861) Cornelius Nicholson

Twarda

222.94 zł

Two Easy Piano Sonatas no. 19 and no. 20 g minor and G major op. 49 no. 1 and no. 2 Ludwig van Beethoven

Miękka

31.87 zł

The Warning James Patterson

Miękka

95.22 zł

The Art of Public Speaking J. Berg Esenwein

Miękka

56.57 zł

Dediu Newsletter Vol. 4, Nr. 3 (39), 6 February 2020: World Monthly Report News and Suggestions for Sustainable Peace, Freedom and Prosperity Michael M. Dediu

Miękka

83.53 zł