Ritchie Lee – författare

Visar alla böcker från författaren Ritchie Lee. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   NASA Formal Methods

   12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

   Av Ritchie Lee, Susmit Jha m. fl.

   Häftad, 2020

   836 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the …

2. 

   NASA Formal Methods

   12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

   Av Dimitra Giannakopoulou, Anastasia Mavridou m. fl.

   E-bok, 2020

   1067 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the …