Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
by Erika Abraham, Einar Broch Johnsen, Marcello Bonsangue Paperback 2016
- Author: Erika Abraham, Einar Broch Johnsen, Marcello Bonsangue
- ISBN 13: 9783319307336
- ISBN 10: 3319307339
- Publication Year: 2016
- Language: English
Specifications
Index-103319307339
LanguageEnglish
Index-139783319307336
Period-
Class Track-
Publisher- (2016)
Pages-