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 :-(

Critical Systems: Formal Methods and Automated Verification

Name: Critical Systems: Formal Methods and Automated Verification
Brand: Springer International Publishing AG
SKU: 13659375
Price: 51.09 EUR
Availability: InStock
Author: Maurice H. ter Beek
ISBN: 9783319459424

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, Septem

Maurice H. ter Beek

Stefania Gnesi

Alexander Knapp

Sprache

Englisch

Buch Broschur

Libristo-Code: 13659375

Verlag Springer International Publishing AG, September 2016

This book constitutes the refereed proceedings of the International Workshop on Formal Methods for I... Vollständige Beschreibung

Libristo-Code: 13659375

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Cuerpo Superior de Administradores [Especialidad Gestión Financiera (A1 1200)] de la Junta de Andalucía. Temario, volumen 6 MARTINEZ DEL FRESNO

Broschur

40.19 €

Teddy, die Tanne und der Pinguin Ralph Billmann

Hardcover

18.99 €

Intohimoinen tyomatka - eroottinen novelli Vild Lisa Vild

Adobe ePub DRM

5.09 €

Les grands scientifiques (2nde Ed) Patricia Crété

Hardcover

15.49 €

Die Biegung im Fluss Libby Fischer Hellmann

Broschur

18.79 €

Deutsche Corporate Governance Kodex und die Prufung des Jahresabschlusses Peter Ginzel

Broschur

74.00 €

This book constitutes the refereed proceedings of the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. FMICS-AVoCS 2016 is a merger of the 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems. § The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.

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 Critical Systems: Formal Methods and Automated Verification

Autor Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2016

Anzahl der Seiten 247

EAN 9783319459424

ISBN 3319459422

Libristo-Code 13659375

Verlag Springer International Publishing AG

Gewicht 4044

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 > 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