Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 SPS 4.99 Kuriér GLS 3.99 Zberné miesto GLS 2.99 Packeta kurýr 4.99 Packeta 2.99 SPS Parcel Shop 2.99

Formal Techniques for Safety-Critical Systems

Kniha Formal Techniques for Safety-Critical Systems Cyrille Artho
Libristo kód: 02465622
Nakladateľstvo Springer International Publishing AG, apríl 2014
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, hel... Celý popis
? points 154 b
61.42
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru


Mohlo by vás tiež zaujímať


TOP
Clean Code Robert C. Martin / Brožovaná
common.buy 52.45
Siguiendo Los Pasos de Cristo Luis Lorenzo Cortes García / Brožovaná
common.buy 28.54
Are Liberty and Equality Compatible? Jan NarvesonJames P. Sterba / Brožovaná
common.buy 45.89
Mehr als Clean Code Andreas Lennartz / Brožovaná
common.buy 18.25

This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet