Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Runtime Verification

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

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

Ezio Bartocci

Rupak Majumdar

Sprache

Englisch

Buch Broschur

Libristo-Code: 09493683

Verlag Springer International Publishing AG, August 2015

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verifi... Vollständige Beschreibung

Libristo-Code: 09493683

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Essen und Trinken Anja Boretzki

Spiel

19.99 €

Octomes Pierre Raufast

Broschur

25.99 €

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

Broschur

51.19 €

Solfeggio-Frequenzen Andreas Kühnemann

Broschur

20.69 €

101 DIBUJOS ADORABLES DE GATOS MAYO

Buch

21.19 €

Love And Longing Bill Carrothers

Audio CD

19.59 €

Kanu Kompass Mecklenburg-Vorpommern Carola Hillmann

Broschur

22.90 €

Wilczek Ryrych Katarzyna

Hardcover

5.49 €

50 Piezas f?ciles para piano para principiantes Claudio Lupo

Broschur

15.99 €

IQ Eylem Öncel

Broschur

12.69 €

Handelsmarken und Erosion industrieller Markenartikel Tina Schäfer

Broschur

63.00 €

sembrar sopa de verduras Lois Ehlert

Broschur

8.89 €

Night Holly Cole

Audio CD

18.29 €

Ca rime et ca swing chez Claudine Claudine Grenat

Broschur

12.39 €

Private Geschaftsbanken Andreas Menzen

Broschur

9.99 €

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

Audio CD

11.39 €

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

Hardcover

190.99 €

Blutsbruder Ernst Haffner

Broschur

16.00 €

Chen-Stil Taijiquan Urs Krebs

Broschur

18.00 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Runtime Verification

Autor Ezio Bartocci, Rupak Majumdar

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2015

Anzahl der Seiten 432

EAN 9783319238197

ISBN 3319238191

Libristo-Code 09493683

Verlag Springer International Publishing AG

Gewicht 6788

Abmessungen 155 x 235 x 25

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Framework Houses Bernd Becher

Hardcover

59.09 €

Karl Blossfeldt Karl Blossfeldt

Hardcover

28.19 €

What Do Fishies Eat? Adam Peterson

Broschur

12.59 €

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

Adobe ePub DRM

38.69 €

Modern Bee-Keeping Herbert Mace

Broschur

24.09 €

3D Bioprinting Sai Mounika Muramulla

Broschur

66.99 €

Action Kadabra Authors and Dragons

Broschur

6.99 €

Chester B. Himes Lawrence P. Jackson

Hardcover

28.19 €

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

Broschur

37.69 €

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

Broschur

7.49 €

You Can Search Me George V Hobart

Broschur

7.99 €

The Immortal Lover: The UnHoly Pursuit Saga Prequel A White

Broschur

26.59 €

Preventing Asthma Attacks: A Self-Help Guide Kenneth Wright

Broschur

6.99 €

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

Broschur

30.49 €

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

Broschur

7.69 €

The Warning James Patterson

Broschur

22.99 €

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

Hardcover

53.39 €

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

Broschur

20.09 €

CALIFORNIA RESIDENTIAL ELECTRICAL LICENSE Exam ExamFOCUS Study Notes & Review Questions Examreview

Broschur

38.79 €

The Art of Public Speaking J. Berg Esenwein

Broschur

13.59 €

The Rising of the Shield Hero, Volume 3 Aneko Yusagi

Broschur

11.89 €

Crown and the Shield D.S.Pais

Broschur

7.69 €

Ghost of the Executed Engineer Loren R. Graham

Broschur

41.29 €

Tender is the Night F Scott Fitzgerald

Broschur

10.29 €

Häufig gesucht

Categories

Authors

Publishers

Häufig gesucht

Waren

Categories

Authors

Publishers

Versand

Kaufberater

Runtime Verification

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

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Häufig gesucht

Categories

Authors

Publishers

Runtime Verification

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

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!