Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Formal Techniques for Safety-Critical Systems

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Techniques for Safety-Critical Systems Cyrille Artho
Koda Libristo: 15789087
Založba Springer International Publishing AG, februar 2017
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Technique... Celoten opis
? points 118 b
48.86 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

La Vie effaçant toutes choses Fanny Chiarello / Knjiga Mehka
common.buy 20.12 €
ENFERMERAS/OS DEL SERVICIO DE SALUD DE LA COMUNIDAD DE MADRID. TEMARIO VOLUMEN I NO DISPONIBLE / Knjiga Trda
common.buy 37.02 €
Faeries 20 Special Legende Arthurienne collegium / Knjiga Mehka
common.buy 11.32 €
Der inoffizielle Adventskalender für alle Fans von Michael Patrick Kelly / Knjiga Trda
common.buy 21.14 €
Beitrage zur Naturgeschichte der Tardigraden Ludwig Plate / Knjiga Mehka
common.buy 11.02 €
Machiavel Zancarini / Knjiga Knjiga
common.buy 14.26 €
Gesunder Pferdeverstand fur Menschen Linda Weritz / E-knjiga Adobe ePub DRM
common.buy 7.38 €
Les Quarante-Cinq - Tome 1 Alexandre Dumas p / Knjiga Mehka
common.buy 16.89 €
Polski SOR. Uwaga, będzie bolało Jan Świtała / Knjiga Mehka
common.buy 9.80 €
Leistungsbewertung Felix Winter / Knjiga Mehka
common.buy 17.90 €
indische Kaste - Die Aktualitat des Begriffs im geschichtlichen Wandel Server Purtov / Knjiga Mehka
common.buy 23.06 €
Interpretation zweier ausgewahlter Texte Alexander Kluges Oliver Borszik / Knjiga Mehka
common.buy 15.27 €
Paul z Duny Brian Herbert / Knjiga Trda
common.buy 17.70 €
Delito mayor Ángel Pérez Cuza / Knjiga Mehka
common.buy 11.83 €
When Amber shines in Neon Light Ogeretsu Tanaka / Knjiga Mehka
common.buy 7.27 €
Matematika 7 Shodnost geometrických útvarů, souměrnosti Michaela Jedličková / Knjiga Mehka
common.buy 3.23 €
La música de les tenebres NORMA STURNIOLO / Knjiga Mehka
common.buy 10.61 €
Filmmusik Anselm C. Kreuzer / Knjiga Mehka
common.buy 58.37 €
Saint Norbert, Archeveque de Magdebourg Et Fondateur de l'Ordre Des Chanoines Premontres SANS AUTEUR / Knjiga Mehka
common.buy 18.40 €
Les Fautes d'Un Diplomate Portugais Dans La Question de l'Emprunt 1832 (Ed.1882) Sans Auteur / Knjiga Mehka
common.buy 13.85 €
Anciennes et nouvelles aristocraties de 1880 à nos jours Knjiga Mehka
common.buy 40.56 €
Die Versuchung des Herzogs Christi Caldwell / Knjiga Mehka
common.buy 9.91 €
Köln - 1.000 Teile (Puzzle) / Igra/Igrača Igra
common.buy 27.81 €
Urban Land Use Planning and Management in Ethiopia Engida E. Dube / Knjiga Mehka
common.buy 53.51 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Techniques for Safety-Critical Systems
Avtor Cyrille Artho, Peter Csaba Ölveczky
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2017
Število strani 161
EAN 9783319539454
ISBN 3319539450
Koda Libristo 15789087
Založba Springer International Publishing AG
Teža 2759
Mere 155 x 235 x 10

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

2011 National Survey of Fishing, Hunting, and Wildlife-Associated Recreation?Massachusetts U S Fish and Wildlife Service and U S / Knjiga Mehka
common.buy 14.96 €
Top
Get ready for...: Flyers: Student's Book Petrina Cliff / Knjiga Mehka
common.buy 18.30 €
Kmalu
Under Swiss Protection - Jewish Eyewitness Accounts from Wartime Budapest Timothy Snyder / Knjiga Mehka
common.buy 28.93 €
Destination Death - A Horror Anthology CHRIS LIBERTY / Knjiga Trda
common.buy 35.50 €
Sam Houston: Colossus in Buckskin George Creel / Knjiga Trda
common.buy 46.33 €
Connect With Math Grade 1: Greatways To Teach And Learn Patricia Pedigo / Knjiga Mehka
common.buy 8.99 €
The Rainmaker Shauna Allen / Knjiga Mehka
common.buy 11.52 €
Color In Perspective Nicholas Petine / Knjiga Mehka
common.buy 9.80 €
Poems Of The Heart Dave Thompson / Knjiga Mehka
common.buy 11.52 €
Roles of Innovation in Competition Law Analysis Paul Nihoul / Knjiga Trda
common.buy 175.43 €
How to Conquer Sugar Addiction: How to Resist the Urge to Eat Sweet Treats Andrea Browne / Knjiga Mehka
common.buy 8.99 €
Less Different Than the Same Patricia J Boysen / Knjiga Mehka
common.buy 12.84 €
A Few Poems From Words I Found In Divorced Tony Haynes / Knjiga Mehka
common.buy 8.99 €
Jojo Meets Cristo Gina Ann / Knjiga Mehka
common.buy 8.59 €
Voice of Reason Burton Frederick Porter / Knjiga Mehka
common.buy 168.55 €
New Insights Myrna Badgerow / Knjiga Mehka
common.buy 9.10 €
Adaptive Intelligence STERNBERG ROBERT J. / Knjiga Trda
common.buy 91.25 €
Design of Hybrid Molecules for Drug Development Michael Decker / Knjiga Mehka
common.buy 208.01 €
Top
Assassin's Quest (The Illustrated Edition) Robin Hobb / Knjiga Trda
common.buy 30.24 €
HONEKO AKABANES BODYGUARDS V04 V04 / Knjiga Mehka
common.buy 10.61 €
Run Like A Girl – 50 Extraordinary and Inspiring Sportswomen Danielle Brown / Knjiga Mehka
common.buy 8.08 €
School Buildings Walter H. Parker / Knjiga Trda
common.buy 28.32 €
The Bloomsbury Handbook to Cold War Literary Cultures Greg Barnhisel / Knjiga Mehka
common.buy 55.94 €
Candide Voltaire / Knjiga Mehka
common.buy 12.64 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?