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
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €
phone Kontakt phoneWie einkaufen

Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Techniques for Safety-Critical Systems Cyrille Artho
Libristo-Code: 09249874
Verlag Springer International Publishing AG, April 2015
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniq... Vollständige Beschreibung
? points 125 b
51.09 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ciekawski George i jego sen MARGRET REY / Buch Broschur
common.buy 2.59 €
BABADADA, slovenčina - Arabic (in arabic script), obrazkovy slovnik - visual dictionary (in arabic script) Babadada Gmbh / Buch Broschur
common.buy 23.69 €
Demnächst
Dialogy s vnitřním kritikem Boleslav Keprt / Buch Broschur
common.buy 12.69 €
El Derecho en Puerto Rico Fraticelli Torres / Buch Broschur
common.buy 19.69 €
Mobilitätschancen für Lehrer in Deutschland und Europa Hermann Avenarius / Buch Broschur
common.buy 18.50 €
Oeuvres Completes de Moliere. Tome 5. George Dandin. Moliere / Buch Broschur
common.buy 30.59 €
Entschuldige, ich liebe Dich!, 1 DVD Joaquin Llamas / Video DVD
common.buy 6.89 €
Leselampe Flexilight Blue Words / Spiel/Spielzeug Spielzeug
common.buy 11.95 €
Die Politisierung Des Islam Wilfried Röhrich / Buch Broschur
common.buy 14.99 €
Dynamique non linéaire de l'opération de perçage Amir Kessentini / Buch Broschur
common.buy 36.99 €
Die Formeln der Erfolgreichsten - Teil 1 John Train / Buch Broschur
common.buy 26.99 €
East Side Story Max Heinrichs / Buch Broschur
common.buy 10.99 €
Les Pays Etrangers Et l'Exposition de 1878. La Russie Et l'Exposition de 1878, (Ed.1878) Louis Leger / Buch Broschur
common.buy 20.29 €
Robert Frank: Away Robert Frank / Buch Broschur
common.buy 28.39 €
Edle Liköre und feine Schnäpse selbst gemacht! Simone Edelberg / Buch Hardcover
common.buy 7.99 €

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

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 Techniques for Safety-Critical Systems
Autor Cyrille Artho, Peter Csaba Ölveczky
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 257
EAN 9783319175805
ISBN 3319175807
Libristo-Code 09249874
Verlag Springer International Publishing AG
Gewicht 4102
Abmessungen 155 x 235 x 14

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
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

Best Easy Day Hikes Death Valley National Park Bill Cunningham / Buch Broschur
common.buy 13.09 €
Little Bells and Other Verses for Children Joyce Taylor / Buch Hardcover
common.buy 22.69 €
Aim Straight at the Fountain and Press Vaporize Elizabeth Marie Young / Buch Broschur
common.buy 14.49 €
Foreign Relations of the United States, 1969-1976, Volume VIII, Vietnam, January-October 1972 John M. Carland / Buch Hardcover
common.buy 102.29 €
Doc Vincent M. Mallozzi / Buch Hardcover
common.buy 24.29 €
SemProM Wolfgang Wahlster / Buch Broschur
common.buy 101.79 €
Scheduling Without Conflict Weldon Burge / Buch Broschur
common.buy 59.29 €
Puppy Parenting in an Apartment Cassie Leigh / Buch Broschur
common.buy 9.19 €
Top
Zeus Grants Stupid Wishes Cory OBrien / Buch Broschur
common.buy 10.89 €
Top
Walking the Cape Wrath Trail Iain Harper / Buch Broschur
common.buy 16.29 €
Snow Angels, Secrets and Christmas Cake SUE WATSON / Buch Broschur
common.buy 10.79 €
Solo Jill Mansell / E-Book Adobe ePub DRM
common.buy 7.39 €
Royal Air Force Pilot's Notes for Mosquito Marks FII and NFXII Royal Air Force / Buch Broschur
common.buy 8.49 €
Clock Nick Hemsley / Buch Broschur
common.buy 13.09 €
Liability of Certification Service Providers - How the Providers of Certification Services Related to Electronic Signatures Could Manage their Liabili George Dimitrov / Buch Broschur
common.buy 69.39 €
Understanding Career Counselling Jenny Kidd / Buch Broschur
common.buy 32.29 €
Electron Kinetics and Applications of Glow Discharges Uwe Kortshagen / Buch Hardcover
common.buy 152.59 €
Dynamics of Arterial Flow Stewart Wolf / Buch Broschur
common.buy 51.09 €

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?