Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Techniques for Safety-Critical Systems

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Techniques for Safety-Critical Systems Cyrille Artho
Libristo kód: 15789087
Nakladatelství Springer International Publishing AG, únor 2017
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Technique... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Faeries 20 Special Legende Arthurienne collegium / Kniha Brožovaná
common.buy 304 Kč
CONTES D'ICI ET D'AILLEURS Collectif / Kniha Brožovaná
common.buy 146 Kč
Textes liturgiques de l'Église de Rome Antoine Chavasse / Kniha Brožovaná
common.buy 886 Kč
Anciennes et nouvelles aristocraties de 1880 à nos jours Kniha Brožovaná
common.buy 1 079 Kč
Umenie dobrého života Rolf Dobelli / Kniha Pevná
common.buy 97 Kč
Gesunder Pferdeverstand fur Menschen Linda Weritz / E-kniha Adobe ePub DRM
common.buy 200 Kč
ENFERMERAS/OS DEL SERVICIO DE SALUD DE LA COMUNIDAD DE MADRID. TEMARIO VOLUMEN I NO DISPONIBLE / Kniha Pevná
common.buy 978 Kč
Der inoffizielle Adventskalender für alle Fans von Michael Patrick Kelly / Kniha Pevná
common.buy 511 Kč
Paul z Duny Brian Herbert / Kniha Pevná
common.buy 439 Kč
Polski SOR. Uwaga, będzie bolało Jan Świtała / Kniha Brožovaná
common.buy 269 Kč
Filmmusik Anselm C. Kreuzer / Kniha Brožovaná
common.buy 1 330 Kč
Interpretation zweier ausgewahlter Texte Alexander Kluges Oliver Borszik / Kniha Brožovaná
common.buy 369 Kč
indische Kaste - Die Aktualitat des Begriffs im geschichtlichen Wandel Server Purtov / Kniha Brožovaná
common.buy 369 Kč
Leistungsbewertung Felix Winter / Kniha Brožovaná
common.buy 432 Kč
Les Quarante-Cinq - Tome 1 Alexandre Dumas p / Kniha Brožovaná
common.buy 408 Kč
Beitrage zur Naturgeschichte der Tardigraden Ludwig Plate / Kniha Brožovaná
common.buy 267 Kč
Urban Land Use Planning and Management in Ethiopia Engida E. Dube / Kniha Brožovaná
common.buy 1 450 Kč
Les Fautes d'Un Diplomate Portugais Dans La Question de l'Emprunt 1832 (Ed.1882) Sans Auteur / Kniha Brožovaná
common.buy 336 Kč
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 / Kniha Brožovaná
common.buy 423 Kč
La música de les tenebres NORMA STURNIOLO / Kniha Brožovaná
common.buy 289 Kč
Matematika 7 Shodnost geometrických útvarů, souměrnosti Michaela Jedličková / Kniha Brožovaná
common.buy 83 Kč
Saint Norbert, Archeveque de Magdebourg Et Fondateur de l'Ordre Des Chanoines Premontres SANS AUTEUR / Kniha Brožovaná
common.buy 445 Kč
When Amber shines in Neon Light Ogeretsu Tanaka / Kniha Brožovaná
common.buy 176 Kč
Die Versuchung des Herzogs Christi Caldwell / Kniha Brožovaná
common.buy 239 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Techniques for Safety-Critical Systems
Autor Cyrille Artho, Peter Csaba Ölveczky
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2017
Počet stran 161
EAN 9783319539454
ISBN 3319539450
Libristo kód 15789087
Nakladatelství Springer International Publishing AG
Váha 2759
Rozměry 155 x 235 x 10

Kategorie

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Počítačové modelování a simulace
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Connect With Math Grade 1: Greatways To Teach And Learn Patricia Pedigo / Kniha Brožovaná
common.buy 217 Kč
Truth and Tales FIONA SOMERSET / Kniha Brožovaná
common.buy 930 Kč
Comprehensive Curriculum of Basic Skills, Grade 4 Thinking Kids / Kniha Brožovaná
common.buy 358 Kč
Gates of the City of London Alan Brooke / Kniha Brožovaná
common.buy 385 Kč
Design of Hybrid Molecules for Drug Development Michael Decker / Kniha Brožovaná
common.buy 4 804 Kč
Adaptive Intelligence STERNBERG ROBERT J. / Kniha Pevná
common.buy 2 208 Kč
New Insights Myrna Badgerow / Kniha Brožovaná
common.buy 221 Kč
Voice of Reason Burton Frederick Porter / Kniha Brožovaná
common.buy 4 077 Kč
Jojo Meets Cristo Gina Ann / Kniha Brožovaná
common.buy 208 Kč
A Few Poems From Words I Found In Divorced Tony Haynes / Kniha Brožovaná
common.buy 217 Kč
Less Different Than the Same Patricia J Boysen / Kniha Brožovaná
common.buy 312 Kč
How to Conquer Sugar Addiction: How to Resist the Urge to Eat Sweet Treats Andrea Browne / Kniha Brožovaná
common.buy 217 Kč
2011 National Survey of Fishing, Hunting, and Wildlife-Associated Recreation?Massachusetts U S Fish and Wildlife Service and U S / Kniha Brožovaná
common.buy 362 Kč
Poems Of The Heart Dave Thompson / Kniha Brožovaná
common.buy 278 Kč
Color In Perspective Nicholas Petine / Kniha Brožovaná
common.buy 237 Kč
The Rainmaker Shauna Allen / Kniha Brožovaná
common.buy 279 Kč
Top
Dawn Octavia E. Butler / Kniha Brožovaná
common.buy 248 Kč
Sam Houston: Colossus in Buckskin George Creel / Kniha Pevná
common.buy 1 120 Kč
Destination Death - A Horror Anthology CHRIS LIBERTY / Kniha Pevná
common.buy 859 Kč
Připravujeme
Under Swiss Protection - Jewish Eyewitness Accounts from Wartime Budapest Timothy Snyder / Kniha Brožovaná
common.buy 783 Kč
Top
Assassin's Quest (The Illustrated Edition) Robin Hobb / Kniha Pevná
common.buy 704 Kč
Top
Get ready for...: Flyers: Student's Book Petrina Cliff / Kniha Brožovaná
common.buy 442 Kč
Roles of Innovation in Competition Law Analysis Paul Nihoul / Kniha Pevná
common.buy 4 689 Kč
Indestructible Jack H. Lucas / Kniha Brožovaná
common.buy 373 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?