Der ausgewählte Artikel ist nicht mehr verfügbar, aber wir haben etwas Ähnliches gefunden.

Bild 1 von 1

Standardbild

Runtime Verification Doron A. Peled (u. a.) Taschenbuch Paperback Englisch 2009 - Bild 1 von 1

Runtime Verification von Doron A. Peled (2009, Taschenbuch)

Schreiben Sie die ersteRezension.

buchbaer (63462)
99,9% positive Bewertungen

Preis:

€ 51,90

(inkl. MwSt.)

Kostenloser Versand

Lieferung ca. Mo, 29. Apr - Fr, 3. Mai

Rücknahmen:

1 Monat Rückgabe. Käufer zahlt Rückversand. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Alle Details ansehen

Über dieses Produkt

Produktinformation

The RV series of workshops brings together researchers from academia and - dustry that are interested in runtime veri?cation. The goal of the RV workshops is to study the ability to apply lightweight formal veri?cation during the exe- tion of programs. This approach complements the o?ine use of formal methods, which often use large resources. Runtime veri?cation methods and tools include the instrumentation of code with pieces of software that can help to test and monitor it online and detect, and sometimes prevent, potential faults. RV 2009 was held during June 26-28 in Grenoble, adjacent to CAV 2009. The program included 11 accepted papers. Two invited talks were given by AmirPnueli,on"CompositionalApproachtoMonitoringLinearTemporalLogic Properties" and Sriram Rajamani on "Veri?cation, Testing and Statistics." The program also included three tutorials. We would like to thank the members of the Program Committee and ad- tional referees for the reviewing and participation in the discussions.

Produktkennzeichnungen

Herausgeber
Saddek Bensalem, Doron A. Peled
ISBN-10
3642046932
ISBN-13
9783642046933
eBay Product ID (ePID)
83433821

Produkt Hauptmerkmale

Sprache
Englisch
Anzahl der Seiten
201 Seiten
Verlag
Springer-Verlag Gmbh, Springer Berlin
Publikationsname
Runtime Verification
Autor
Saddek Bensalem, Doron A. Peled
Format
Taschenbuch
Erscheinungsjahr
2009

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Book
Item Length
23cm
Item Height
1cm
Item Width
15cm
Nummer Innerhalb der Serie
5779
Buchreihe
Lecture Notes in Computer Science
Item Weight
330g

Alle Angebote für dieses Produkt

Artikel 1 Runtime Verification Doron A. Peled (u. a.) Taschenbuch Paperback Englisch 2009
EUR 51,90
Kostenloser Versand
Artikel 2 Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, 7778
EUR 53,49
+EUR 2,94 Versand

Meistverkauft in Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht
Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)
4.5 von 5 Sternen in 2 Produktbewertungen
EUR 12,00 Neu
EUR 9,49 Gebraucht
Schlachtkreuzer der Royal Navy von Ingo Bauernfeind (2015, Taschenbuch)
Noch keine Bewertungen oder Rezensionen
EUR 8,90 Neu
EUR 8,46 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

Wichtige Steuergesetze | mit Durchführungsverordnungen | Bundle | Textausgabe
EUR 11,90
Preistendenz: EUR 12,05
Die Bibel | Synodalübersetzung - Schlachter 2000. Russisch-Deutsch | Buch | 2008
EUR 29,95
Preistendenz: EUR 30,33
Elektrotechniker-Handwerk - 9783410317753 DHL-Versand PORTOFREI
EUR 86,00
Preistendenz: EUR 87,15
Einfaches Kassenbuch | Einnahmen und Ausgaben
EUR 4,99
Preistendenz: EUR 6,62
Die Sachkundeprüfung gemäß § 34a GewO | Kai Deliomini | Taschenbuch | Paperback
EUR 24,80
Preistendenz: EUR 25,09
Bregman Rutger. Im Grunde gut: Eine neue Geschichte der Menschheit. Taschen ...
EUR 15,00
Preistendenz: EUR 15,17

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant

Stöbern in Kategorien

Bild 1 von 1

Runtime Verification von Doron A. Peled (2009, Taschenbuch)

Über dieses Produkt

Produktinformation

Produktkennzeichnungen

Produkt Hauptmerkmale

Zusätzliche Produkteigenschaften

Alle Angebote für dieses Produkt

Artikel 1 Runtime Verification Doron A. Peled (u. a.) Taschenbuch Paperback Englisch 2009

Artikel 2 Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, 7778

Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)

Schlachtkreuzer der Royal Navy von Ingo Bauernfeind (2015, Taschenbuch)

Hier sparen: Studium & Erwachsenenbildung

Wichtige Steuergesetze | mit Durchführungsverordnungen | Bundle | Textausgabe

Die Bibel | Synodalübersetzung - Schlachter 2000. Russisch-Deutsch | Buch | 2008

Elektrotechniker-Handwerk - 9783410317753 DHL-Versand PORTOFREI

Einfaches Kassenbuch | Einnahmen und Ausgaben

Die Sachkundeprüfung gemäß § 34a GewO | Kai Deliomini | Taschenbuch | Paperback

Bregman Rutger. Im Grunde gut: Eine neue Geschichte der Menschheit. Taschen ...

Auch interessant

Robert-A. - Heinlein-Taschenbuch-Belletristik-Bücher

Michael-A. - Singer-Taschenbuch-Sachbuch Bücher

Lehrbücher als Taschenbuch

Brockhaus Taschenbücher

Frauenliteratur-Taschenbücher

Erotische Literatur Taschenbücher