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.99 € Hermes Kurierdienst 5.49 € DHL-Kurier 4.49 € Hermes-Stelle 4.99 € DPD-Stelle 3.49 € GLS-Kurierdienst 5.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Runtime Verification

Name: Runtime Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661050
Price: 53.79 EUR
Availability: InStock
Author: Koushik Sen
ISBN: 9783642298592

Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers

Koushik Sen

Sarfaz Khurshid

Sprache

Englisch

Buch Broschur

Libristo-Code: 01661050

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2012

This book constitutes the thoroughly refereed post-conference proceedings of the Second Internationa... Vollständige Beschreibung

Libristo-Code: 01661050

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Výklad reliéfů pekařství Poilâne Roman Kořan

Buch

6.49 €

Wilde Jahre Astrid Ruppert

Adobe ePub DRM

10.99 €

Ertrinken ist todlich! Roman Kedor

Adobe ePub DRM

1.99 €

Lehrgang Arabisch. Standardsprache der Gegenwart Wolfdietrich Fischer

Broschur

11.59 €

Der Einfluss des Internets auf die Psyche eines Menschen Shokhrukhbek Mingboev

Broschur

54.90 €

Ricerca in classe Cassiane Jrayj De Melo

Broschur

40.99 €

Betrachtungen über die Grundlagen der Philosophie René Descartes

Hardcover

7.19 €

Іслам Bah Slama

Adobe ePub DRM

7.59 €

Chirurgie des intestinalen Stomas Igors Iesalnieks

Broschur

69.99 €

Propriétés de surfactants ioniques et solubilisation du phénol Tayeb Abram

Broschur

61.39 €

UEber ein vokalisches Problem des Mitteldeutschen Karl Von Bahder

Broschur

12.90 €

Živý film Marek Jícha

Blatt

17.29 €

Microarray-basierte Resistenzbestimmung in HIV Michaela Schanne

Broschur

59.09 €

El secreto de mi deseo Maribel Pont Pont

Broschur

12.29 €

Inferno: Inferno Dino Di Durante

Broschur

28.79 €

Lady Xanax, pán Snehulienka a ja Peter Krištúfek

Hardcover

13.09 €

LA NIEVE MARCOS GIL

Hardcover

14.49 €

A titkárnő Renée Knight

Hardcover

10.19 €

LES ANNEES DE COLLEGE FRANCAIS - TOUT POUR REUSSIR Fabienne Pegoraro

Broschur

18.39 €

La Vie de Marie à travers les poètes

Broschur

14.69 €

Figaro tra Mozart e Beaumarchais Duscovich Daniele Duscovich

Broschur

17.69 €

Las cláusulas de moralidad en los contratos de patrocinio deportivo Crespo Celda

Broschur

39.19 €

Cómo se hace un informe de investigación de mercados Díaz Meneses

Broschur

12.89 €

Imparare l'Inglese in Vernacolo - Problemi E Soluzioni Thanikachalam Murugavel Thanikachalam

Broschur

48.89 €

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011.§The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.

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 Koushik Sen, Sarfaz Khurshid

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 458

EAN 9783642298592

ISBN 3642298591

Libristo-Code 01661050

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 718

Abmessungen 155 x 235 x 26

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

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