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: 02081946
Price: 41.89 EUR
Availability: InStock
Author: Michael Dierkes
ISBN: 9783642410093

18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings

Michael Dierkes

Charles Pecheur

Sprache

Englisch

Buch Broschur

Libristo-Code: 02081946

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2013

This book constitutes the thoroughly refereed conference proceedings of the 18th International Works... Vollständige Beschreibung

Libristo-Code: 02081946

103 b

41.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

ANTES, DESDE Y DESPUS DEL CUBISMO MARIA DOLORES JIMENEZ-BLANCO

Broschur

24.39 €

Numret till en vän

Broschur

12.79 €

Erlebnis Chemie 7-9. Schülerband. Für Baden-Württemberg

Hardcover

33.69 €

VERSAILLES CONCERT BAND/HARMONIE/FANFARE/ENSEMBLE DE CUIVRES CHRISTIAN BOUTHIER Buch

binding.

18.99 €

Prokletá kaple Robin Stejskal

Buch

4.79 €

Buergerstimme - Journalismus am Puls der Gesellschaft Joachim Sondern

Broschur

28.80 €

Einfach selbst gemacht Ilse Gutjahr

Broschur

14.80 €

Thimigs Arthur Kahane

Broschur

12.90 €

Algorithmische Mathematik Winfried Hochstättler

Broschur

37.99 €

UEberlegungen des Dritten Reichs zur Ruckholung deutscher Auswanderer aus Lateinamerika und die These von der 5. Kolonne - ein Widerspruch? Florian Beer

Broschur

17.95 €

Organisationen in Der Weiterbildung Rainer Zech

Broschur

49.99 €

This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013. The 13 papers presented were carefully selected from 25 submissions and cover topics such as design, specification, code generation and testing based on formal methods, methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, dependable, real-time systems and embedded systems, verification and validation methods, tools for the development of formal design descriptions, case studies and experience reports on industrial applications of formal methods, impact of the adoption of formal methods on the development process and associated costs, application of formal methods in standardization and industrial forums.

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 Michael Dierkes, Charles Pecheur

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 199

EAN 9783642410093

ISBN 364241009X

Libristo-Code 02081946

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

Gewicht 454

Abmessungen 155 x 235 x 13

Kategorie

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

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

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