NASA Formal Methods, Aaron Dutle; C?sar Mu?oz; Anthony Narkawicz

Автор: Guillaume Brat; Neha Rungta; Arnaud Venet
Название: NASA Formal Methods
ISBN: 3642380875 ISBN-13(EAN): 9783642380877
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions.

Автор: Nadia Polikarpova and Steve Schneider
Название: Integrated formal methods.
ISBN: 3319668447 ISBN-13(EAN): 9783319668444
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions.

Автор: Rayadurgam
Название: NASA Formal Methods
ISBN: 3319406477 ISBN-13(EAN): 9783319406473
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions.

Автор: Clark Barrett; Misty Davies; Temesghen Kahsai
Название: NASA Formal Methods
ISBN: 3319572873 ISBN-13(EAN): 9783319572871
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions.

Автор: Klaus Havelund; Gerard Holzmann; Rajeev Joshi
Название: NASA Formal Methods
ISBN: 3319175238 ISBN-13(EAN): 9783319175232
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. formal approaches to fault tolerance;

Автор: Julia M. Badger; Kristin Yvonne Rozier
Название: NASA Formal Methods
ISBN: 3030206513 ISBN-13(EAN): 9783030206512
Издательство: Springer
Рейтинг:
Цена: 61480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions.

Автор: John Fitzgerald
Название: FM 2016 : formal methods
ISBN: 3319489887 ISBN-13(EAN): 9783319489889
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions.

Автор: Carlo A. Furia and Kirsten Winter
Название: Integrated formal methods.
ISBN: 3319989375 ISBN-13(EAN): 9783319989372
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.

Автор: Bjr?ner, Nikolaj; De Boer, Frank
Название: FM 2015 : formal methods
ISBN: 3319192485 ISBN-13(EAN): 9783319192482
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.

Автор: Klaus Havelund
Название: formal methods
ISBN: 3319955810 ISBN-13(EAN): 9783319955810
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions.