Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Formal Methods for Industrial Critical Systems

19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods for Industrial Critical Systems Frédéric Lang
Libristo-Code: 05147916
Verlag Springer International Publishing AG, August 2014
This book constitutes the proceedings of the 19th International Conference on Formal Methods for Ind... Vollständige Beschreibung
? points 120 b
48.99 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Gruppenunterstutzende Systeme in Forschung Und Entwicklung Holger Wohlenberg / Buch Broschur
common.buy 49.99 €
L'amant de mon mari Astruc / Buch Broschur
common.buy 16.69 €
Die großen kosmischen Lehren des Jesus von Nazareth Gabriele / Buch Broschur
common.buy 22.09 €
eTrex Handbuch Michael Blomeke / Buch Broschur
common.buy 20.99 €
Дональд Трамп. Искусство сделки Дональд Трамп / Buch Broschur
common.buy 13.89 €
WAS IST WAS Band 81 Die sieben Weltwunder Christine Paxmann / Buch Hardcover
common.buy 12.95 €
Revue critique des poissons fossiles figur?(c)s dans l'Ittiolitologia verones?(c) Louis Agassiz / Buch Broschur
common.buy 10.69 €
Egg Sally Grindley / Buch Broschur
common.buy 5.89 €
City-Memo, Hamburg / Spiel/Spielzeug Spiel
common.buy 18.95 €
Owoce Poznaj świat / Buch binding.
common.buy 2.49 €
Genießen, leben, lieben Barbara Jung / Buch Broschur
common.buy 12.90 €
Das Buch der Siegel Paul Foster Case / Buch Broschur
common.buy 16.00 €
Combat d'Epinay-Sur-Seine (30 Novembre 1870) Orse-F / Buch Broschur
common.buy 10.89 €

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
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 Frédéric Lang, Francesco Flammini
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2014
Anzahl der Seiten 201
EAN 9783319107011
ISBN 3319107011
Libristo-Code 05147916
Verlag Springer International Publishing AG
Gewicht 3343
Abmessungen 155 x 235 x 12

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

Das könnte Sie auch interessieren

Organo-di-Metallic Compounds (or Reagents) Zhenfeng Xi / Buch Broschur
common.buy 203.39 €
Subliminal Therapy Aka Yagerian Therapy: An Introduction for Patients Edwin K. Yager / Buch Broschur
common.buy 13.59 €
Children's Books and Their Illustrators Gleeson White / Buch Broschur
common.buy 11.59 €
Do You Really Want to Meet a Swan? Cari Meister / Buch Hardcover
common.buy 35.99 €
Precalculus: Chapter Summaries & Practice Answers Cristina Berisso / Buch Broschur
common.buy 59.09 €
Elizabeth and Michael: The Queen of Hollywood and the King of Pop - A Love Story Donald Bogle / Audio Audio CD
common.buy 55.59 €
Nicaea - The Rise of the Imperial Church William Speir / Buch Broschur
common.buy 13.09 €
Pencil Me In: A Trans Perspective in a Gendered World Michael Eric Brown / Buch Broschur
common.buy 13.19 €
Study Guide for Eudora Welty's Losing Battles Cengage Learning Gale / Buch Broschur
common.buy 9.99 €
Close Your Eyes and Count to 10 Lisa Unger / Buch Broschur
common.buy 16.29 €
Lone Star Dawn L. Lubertowicz / Buch Broschur
common.buy 12.89 €
Construction of Testimony Erin McGlothlin / Buch Hardcover
common.buy 80.09 €
The CSS Alabama and CSS Shenandoah: The History and Legacy of the Confederacy's Legendary Raiding Ships during the Civil War Charles River Editors / Buch Broschur
common.buy 14.99 €
Voices Advanced: Student's Book TBC / Buch Broschur
common.buy 44.39 €
Top
NEW ACADEMY LEV 3 WWDWAPRC PK Nick Coates / Buch Buch
common.buy 10.49 €
Top
NORWEGIAN FAST TALK E02 E02 / Buch Broschur
common.buy 3.89 €
Small Stakes No-Limit Hold 'em David Sklansky / Buch Broschur
common.buy 17.89 €
Prosperity Gospel vs The Gospel Dr Joseph Kinyanjui Karanja / Buch Broschur
common.buy 25.89 €
Boolean Functions Yves Crama / Buch Hardcover
common.buy 193.69 €
Switch Carol Snow / Buch Broschur
common.buy 9.09 €
Demnächst
Barrier of a Common Language Dana Gioia / Buch Hardcover
common.buy 81.79 €
Gdh 2000 - The Gerasimov-drell-hearn Sum Rule & The Nucleon Spin Structure In The Resonance Region Lothar Tiator / Buch Hardcover
common.buy 194.59 €
Woman's Life Mgnus Shulamit / Buch Hardcover
common.buy 83.59 €
Managing People and Organizations in Changing Contexts Graeme Martin / Buch Broschur
common.buy 98.19 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?