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

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Techniques for Safety-Critical Systems Cyrille Artho
Libristo-Code: 15789087
Verlag Springer International Publishing AG, Februar 2017
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Technique... Vollständige Beschreibung
? points 111 b
45.49 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Faeries 20 Special Legende Arthurienne collegium / Buch Broschur
common.buy 10.29 €
CONTES D'ICI ET D'AILLEURS Collectif / Buch Broschur
common.buy 4.89 €
Textes liturgiques de l'Église de Rome Antoine Chavasse / Buch Broschur
common.buy 29.89 €
Anciennes et nouvelles aristocraties de 1880 à nos jours Buch Broschur
common.buy 36.39 €
Umenie dobrého života Rolf Dobelli / Buch Hardcover
common.buy 3.59 €
Gesunder Pferdeverstand fur Menschen Linda Weritz / E-Book Adobe ePub DRM
common.buy 6.89 €
ENFERMERAS/OS DEL SERVICIO DE SALUD DE LA COMUNIDAD DE MADRID. TEMARIO VOLUMEN I NO DISPONIBLE / Buch Hardcover
common.buy 33.39 €
Der inoffizielle Adventskalender für alle Fans von Michael Patrick Kelly / Buch Hardcover
common.buy 24.99 €
Paul z Duny Brian Herbert / Buch Hardcover
common.buy 17.49 €
Polski SOR. Uwaga, będzie bolało Jan Świtała / Buch Broschur
common.buy 8.19 €
Filmmusik Anselm C. Kreuzer / Buch Broschur
common.buy 64.95 €
Interpretation zweier ausgewahlter Texte Alexander Kluges Oliver Borszik / Buch Broschur
common.buy 17.95 €
indische Kaste - Die Aktualitat des Begriffs im geschichtlichen Wandel Server Purtov / Buch Broschur
common.buy 17.95 €
Leistungsbewertung Felix Winter / Buch Broschur
common.buy 19.80 €
Les Quarante-Cinq - Tome 1 Alexandre Dumas p / Buch Broschur
common.buy 15.59 €
Beitrage zur Naturgeschichte der Tardigraden Ludwig Plate / Buch Broschur
common.buy 12.90 €
Urban Land Use Planning and Management in Ethiopia Engida E. Dube / Buch Broschur
common.buy 59.00 €
Les Fautes d'Un Diplomate Portugais Dans La Question de l'Emprunt 1832 (Ed.1882) Sans Auteur / Buch Broschur
common.buy 12.29 €
Compte Rendu Des Travaux... Chambre De Commerce De Paris / Buch Broschur
common.buy 27.49 €
La música de les tenebres NORMA STURNIOLO / Buch Broschur
common.buy 13.64 €
Matematika 7 Shodnost geometrických útvarů, souměrnosti Michaela Jedličková / Buch Broschur
common.buy 3.09 €
Saint Norbert, Archeveque de Magdebourg Et Fondateur de l'Ordre Des Chanoines Premontres SANS AUTEUR / Buch Broschur
common.buy 16.29 €
When Amber shines in Neon Light Ogeretsu Tanaka / Buch Broschur
common.buy 9.00 €
Die Versuchung des Herzogs Christi Caldwell / Buch Broschur
common.buy 11.99 €

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.

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 2017
Anzahl der Seiten 161
EAN 9783319539454
ISBN 3319539450
Libristo-Code 15789087
Verlag Springer International Publishing AG
Gewicht 2759
Abmessungen 155 x 235 x 10

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Computermodellierung und -simulation
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

Connect With Math Grade 1: Greatways To Teach And Learn Patricia Pedigo / Buch Broschur
common.buy 7.89 €
Truth and Tales FIONA SOMERSET / Buch Broschur
common.buy 34.79 €
Comprehensive Curriculum of Basic Skills, Grade 4 Thinking Kids / Buch Broschur
common.buy 12.69 €
Gates of the City of London Alan Brooke / Buch Broschur
common.buy 14.59 €
Design of Hybrid Molecules for Drug Development Michael Decker / Buch Broschur
common.buy 186.89 €
Adaptive Intelligence STERNBERG ROBERT J. / Buch Hardcover
common.buy 81.49 €
New Insights Myrna Badgerow / Buch Broschur
common.buy 8.09 €
Voice of Reason Burton Frederick Porter / Buch Broschur
common.buy 152.39 €
Jojo Meets Cristo Gina Ann / Buch Broschur
common.buy 7.39 €
A Few Poems From Words I Found In Divorced Tony Haynes / Buch Broschur
common.buy 7.89 €
Less Different Than the Same Patricia J Boysen / Buch Broschur
common.buy 11.39 €
How to Conquer Sugar Addiction: How to Resist the Urge to Eat Sweet Treats Andrea Browne / Buch Broschur
common.buy 7.89 €
2011 National Survey of Fishing, Hunting, and Wildlife-Associated Recreation?Massachusetts U S Fish and Wildlife Service and U S / Buch Broschur
common.buy 13.19 €
Poems Of The Heart Dave Thompson / Buch Broschur
common.buy 10.09 €
Color In Perspective Nicholas Petine / Buch Broschur
common.buy 10.69 €
The Rainmaker Shauna Allen / Buch Broschur
common.buy 12.59 €
Top
Dawn Octavia E. Butler / Buch Broschur
common.buy 8.89 €
Sam Houston: Colossus in Buckskin George Creel / Buch Hardcover
common.buy 41.09 €
Destination Death - A Horror Anthology CHRIS LIBERTY / Buch Hardcover
common.buy 31.49 €
Demnächst
Under Swiss Protection - Jewish Eyewitness Accounts from Wartime Budapest Timothy Snyder / Buch Broschur
common.buy 33.69 €
Top
Assassin's Quest (The Illustrated Edition) Robin Hobb / Buch Hardcover
common.buy 26.59 €
Top
Get ready for...: Flyers: Student's Book Petrina Cliff / Buch Broschur
common.buy 18.09 €
Roles of Innovation in Competition Law Analysis Paul Nihoul / Buch Hardcover
common.buy 200.69 €
Indestructible Jack H. Lucas / Buch Broschur
common.buy 13.39 €

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?