topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Formal Techniques for Safety-Critical Systems: Second International Workshop, Ftscs 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selec
ISBN: 9783319054155 / Angielski / Miękka / 2014 / 297 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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.
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The...
|
cena:
193,63 zł |
 |
Formal Techniques for Safety-Critical Systems: 6th International Workshop, Ftscs 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Pape
ISBN: 9783030129873 / Angielski / Miękka / 2019 / 179 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
193,63 zł |
 |
Formal Techniques for Safety-Critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
ISBN: 9783319295091 / Angielski / Miękka / 2016 / 271 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.
The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools. This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in...
|
cena:
193,63 zł |
 |
Formal Techniques for Safety-Critical Systems: 5th International Workshop, Ftscs 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
ISBN: 9783319539454 / Angielski / Miękka / 2017 / 161 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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. This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in...
|
cena:
193,63 zł |
 |
Formal Techniques for Safety-Critical Systems: Third International Workshop, Ftscs 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
ISBN: 9783319175805 / Angielski / Miękka / 2015 / 257 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 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.
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held ...
|
cena:
193,63 zł |
 |
Automated Technology for Verification and Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings
ISBN: 9783319465197 / Angielski / Miękka / 2016 / 530 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.
The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis. This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Ch...
|
cena:
193,63 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
