5 Электронные книги Jose N. Oliveira
Jose N. Oliveira & Pamela Zave: FME 2001: Formal Methods for Increasing Software Productivity
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal …
PDF
английский
DRM
€114.67
Maurice H. ter Beek & Annabelle McIver: Formal Methods — The Next 30 Years
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.Th …
EPUB
английский
DRM
€57.89
Troy Astarte & Jose Campos: Formal Methods. FM 2019 International Workshops
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the pa …
EPUB
английский
DRM
€58.04
Troy Astarte & Jose Campos: Formal Methods. FM 2019 International Workshops
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the pa …
EPUB
английский
DRM
€57.71
