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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570290
Price: 51.09 EUR
Availability: InStock
Author: Stefan Leue
ISBN: 9783540797067

12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Stefan Leue

Pedro Merino

Sprache

Englisch

Buch Broschur

Libristo-Code: 01570290

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

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Wo... Vollständige Beschreibung

Libristo-Code: 01570290

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Verliebt in Paris Nathalie Geffroy

Hardcover

30.00 €

Gesundheitspflege im Mittelalter Ludwig Kotelmann

Broschur

46.29 €

Kindergartenblock-Paket ab 4 Jahre - Das kann ich schon! Ulrike Maier

Spiel

21.30 €

Wikingowie. Magiczny domek na drzewie. Akademia Tropicieli Faktów Will Osborne

Broschur

4.49 €

TACTICA Y ETICA. ESCRITOS TEMPRANOS 1919-1929 LUKACS

Buch

32.89 €

SUISSE ROMANDE : VOS ESCAPADES ECO-RESPONSABLES Guédron

Hardcover

19.79 €

Marcel Gromaire. La vie et l'oeuvre. Catalogue raisonné des peintures Françoise Chibret-Plaussu

Hardcover

60.49 €

6 séquences pour lire Cycle 2 Les neuf maisons de kouri Bernard Couté

Broschur

30.59 €

Mit den Spatzen unterwegs im Zoo Eva Lübbe

Broschur

14.00 €

El Poder del Deseo: Cómo Lograr tus Sue?os Miguel Marco

Broschur

19.19 €

Personenschaden-Management Christoph Hugemann

Broschur

73.25 €

Collage Dortmund - 1.000 Teile (Puzzle)

Spiel

36.90 €

Kaiser Hadrian Gemalde der roemischhellenischen Welt zu seiner Zeit Ferdinand Gregorovius

Broschur

34.90 €

Geschichte der Universitat Heidelberg Johann Friedrich Hautz

Broschur

35.90 €

HHhH (Prix Goncourt du premier roman 2010) Laurent Binet

Hardcover

28.79 €

Indyk L

Spielzeug

7.09 €

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.§The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications and they are organized in topical sections on control systems, scheduling and time, verification, software, and testing.

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 Formal Methods for Industrial Critical Systems

Autor Stefan Leue, Pedro Merino

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 254

EAN 9783540797067

ISBN 3540797068

Libristo-Code 01570290

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

Gewicht 412

Abmessungen 155 x 235 x 15

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme

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 > Systemanalyse und -design

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