Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Formal Techniques for Safety-Critical Systems

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

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Formal Techniques for Safety-Critical Systems Cyrille Artho
Κωδικός Libristo: 15789087
ΕΕκδοτικός οίκος Springer International Publishing AG, Φεβρουάριος 2017
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Technique... Πλήρης περιγραφή
? points 125 b
51.27 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

LETRA GLOBAL 5 / Βιβλίο Βιβλίο
common.buy 19.20 €
Machiavel Zancarini / Βιβλίο Βιβλίο
common.buy 14.87 €
Gesunder Pferdeverstand fur Menschen Linda Weritz / ebook Adobe ePub DRM
common.buy 8.13 €
Matematika 7 Shodnost geometrických útvarů, souměrnosti Michaela Jedličková / Βιβλίο Χαρτόδετο
common.buy 4.01 €
Polski SOR. Uwaga, będzie bolało Jan Świtała / Βιβλίο Χαρτόδετο
common.buy 11.15 €
Saint Norbert, Archeveque de Magdebourg Et Fondateur de l'Ordre Des Chanoines Premontres SANS AUTEUR / Βιβλίο Χαρτόδετο
common.buy 20.10 €
Les Quarante-Cinq - Tome 1 Alexandre Dumas p / Βιβλίο Χαρτόδετο
common.buy 17.79 €
Leistungsbewertung Felix Winter / Βιβλίο Χαρτόδετο
common.buy 18.79 €
Anciennes et nouvelles aristocraties de 1880 à nos jours Βιβλίο Χαρτόδετο
common.buy 43.53 €
indische Kaste - Die Aktualitat des Begriffs im geschichtlichen Wandel Server Purtov / Βιβλίο Χαρτόδετο
common.buy 16.08 €
Interpretation zweier ausgewahlter Texte Alexander Kluges Oliver Borszik / Βιβλίο Χαρτόδετο
common.buy 16.08 €
Paul z Duny Brian Herbert / Βιβλίο Σκληρόδετο
common.buy 19.80 €
Der inoffizielle Adventskalender für alle Fans von Michael Patrick Kelly / Βιβλίο Σκληρόδετο
common.buy 22.31 €
Filmmusik Anselm C. Kreuzer / Βιβλίο Χαρτόδετο
common.buy 64.85 €
ENFERMERAS/OS DEL SERVICIO DE SALUD DE LA COMUNIDAD DE MADRID. TEMARIO VOLUMEN I NO DISPONIBLE / Βιβλίο Σκληρόδετο
common.buy 40.01 €
Faeries 20 Special Legende Arthurienne collegium / Βιβλίο Χαρτόδετο
common.buy 11.65 €
Köln - 1.000 Teile (Puzzle) / Παιχνίδι/Επιτραπέζιο παιχνίδι Επιτραπέζιο παιχνίδι
common.buy 31.06 €
FAILLITE EN ALGERIE Henri Dunant et Henri Nick affairistes protestants Grégoire / Βιβλίο Χαρτόδετο
common.buy 13.77 €
Textes liturgiques de l'Église de Rome Antoine Chavasse / Βιβλίο Χαρτόδετο
common.buy 35.59 €
Reglamento De Correos Del Peru: Y Diccionario Geográfico De Las Diversas Ciudades Y Otros Pueblos De La República Y De Algunos De Las De Chile, Bolivi Peru / Βιβλίο Χαρτόδετο
common.buy 19.20 €
Les Fautes d'Un Diplomate Portugais Dans La Question de l'Emprunt 1832 (Ed.1882) Sans Auteur / Βιβλίο Χαρτόδετο
common.buy 15.17 €
Compte Rendu Des Travaux... Chambre De Commerce De Paris / Βιβλίο Χαρτόδετο
common.buy 33.88 €
When Amber shines in Neon Light Ogeretsu Tanaka / Βιβλίο Χαρτόδετο
common.buy 7.73 €
Urban Land Use Planning and Management in Ethiopia Engida E. Dube / Βιβλίο Χαρτόδετο
common.buy 59.32 €

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.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Formal Techniques for Safety-Critical Systems
Συγγραφέας Cyrille Artho, Peter Csaba Ölveczky
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2017
Αριθμός σελίδων 161
EAN 9783319539454
ISBN 3319539450
Κωδικός Libristo 15789087
ΕΕκδοτικός οίκος Springer International Publishing AG
Βάρος 2759
Διαστάσεις 155 x 235 x 10

Κατηγορία

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer modelling & simulation
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Color In Perspective Nicholas Petine / Βιβλίο Χαρτόδετο
common.buy 10.75 €
Roles of Innovation in Competition Law Analysis Paul Nihoul / Βιβλίο Σκληρόδετο
common.buy 192.65 €
Lives We Touch Eva Woods / Βιβλίο Χαρτόδετο
common.buy 10.15 €
Τοπ
Get ready for...: Flyers: Student's Book Petrina Cliff / Βιβλίο Χαρτόδετο
common.buy 18.19 €
Προετοιμαζουμε
Under Swiss Protection - Jewish Eyewitness Accounts from Wartime Budapest Timothy Snyder / Βιβλίο Χαρτόδετο
common.buy 32.17 €
Destination Death - A Horror Anthology CHRIS LIBERTY / Βιβλίο Σκληρόδετο
common.buy 38.90 €
Sam Houston: Colossus in Buckskin George Creel / Βιβλίο Σκληρόδετο
common.buy 50.67 €
Connect With Math Grade 1: Greatways To Teach And Learn Patricia Pedigo / Βιβλίο Χαρτόδετο
common.buy 9.84 €
The Rainmaker Shauna Allen / Βιβλίο Χαρτόδετο
common.buy 12.66 €
Indestructible Jack H. Lucas / Βιβλίο Χαρτόδετο
common.buy 17.18 €
Poems Of The Heart Dave Thompson / Βιβλίο Χαρτόδετο
common.buy 12.66 €
2011 National Survey of Fishing, Hunting, and Wildlife-Associated Recreation?Massachusetts U S Fish and Wildlife Service and U S / Βιβλίο Χαρτόδετο
common.buy 16.48 €
How to Conquer Sugar Addiction: How to Resist the Urge to Eat Sweet Treats Andrea Browne / Βιβλίο Χαρτόδετο
common.buy 9.84 €
Less Different Than the Same Patricia J Boysen / Βιβλίο Χαρτόδετο
common.buy 14.17 €
A Few Poems From Words I Found In Divorced Tony Haynes / Βιβλίο Χαρτόδετο
common.buy 9.84 €
Jojo Meets Cristo Gina Ann / Βιβλίο Χαρτόδετο
common.buy 9.64 €
Voice of Reason Burton Frederick Porter / Βιβλίο Χαρτόδετο
common.buy 181.69 €
New Insights Myrna Badgerow / Βιβλίο Χαρτόδετο
common.buy 10.05 €
Adaptive Intelligence STERNBERG ROBERT J. / Βιβλίο Σκληρόδετο
common.buy 99.54 €
Gates of the City of London Alan Brooke / Βιβλίο Χαρτόδετο
common.buy 16.88 €
Untitled Book 5 Dilly Court / Βιβλίο Σκληρόδετο
common.buy 21.11 €
HONEKO AKABANES BODYGUARDS V04 V04 / Βιβλίο Χαρτόδετο
common.buy 11.96 €
Run Like A Girl – 50 Extraordinary and Inspiring Sportswomen Danielle Brown / Βιβλίο Χαρτόδετο
common.buy 8.64 €
School Buildings Walter H. Parker / Βιβλίο Σκληρόδετο
common.buy 30.96 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;