phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Formal Techniques for Safety-Critical Systems

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Techniques for Safety-Critical Systems Cyrille Artho
Libristo kód: 15789087
Kiadó Springer International Publishing AG, február 2017
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Technique... Teljes leírás
? points 154 b
24 806 Ft
Beszállítói készleten alacsony példányszámban Küldés 10-15 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

New Insights Myrna Badgerow / Puha kötésű
common.buy 4 151 Ft
Adaptive Intelligence STERNBERG ROBERT J. / Kemény kötésű
common.buy 36 871 Ft
Les Fautes d'Un Diplomate Portugais Dans La Question de l'Emprunt 1832 (Ed.1882) Sans Auteur / Puha kötésű
common.buy 6 272 Ft
Saint Norbert, Archeveque de Magdebourg Et Fondateur de l'Ordre Des Chanoines Premontres SANS AUTEUR / Puha kötésű
common.buy 8 317 Ft
Life's Chosen Angel Paul Kumar / Puha kötésű
common.buy 6 803 Ft
Lasting Light Stephen Trimble / Kemény kötésű
common.buy 16 232 Ft
Les Quarante-Cinq - Tome 1 Alexandre Dumas p / Puha kötésű
common.buy 16 989 Ft
Jojo Meets Cristo Gina Ann / Puha kötésű
common.buy 3 991 Ft

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.

Információ a könyvről

Teljes megnevezés Formal Techniques for Safety-Critical Systems
Szerző Cyrille Artho, Peter Csaba Ölveczky
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2017
Oldalszám 161
EAN 9783319539454
ISBN 3319539450
Libristo kód 15789087
Kiadó Springer International Publishing AG
Súly 2759
Méretek 155 x 235 x 10

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Ember-számítógép interakció > Használói interfész dizájn és használhatóság
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Komputermodellálás és szimuláció
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása