Software Engineering Methods

Soumya Sankar Basu

ISBN: 9781032422923

International Conference on Software Engineering and Formal Methods (creator), Domenico Bianculli (editor), Elena Gómez-Martínez (editor)

ISBN: 9783032104434

International Conference on Software Engineering and Formal Methods (creator), Carla Ferreira (editor), Tim Willemse (editor)

Datum izdaje: 2023

ISBN: 9783031471148

International Conference on Formal Engineering Methods (creator), Etienne André (editor), Jingyi Wang (editor), Naijun Zhan (editor)

ISBN: 9789819542123

International Workshop on Software Engineering and Formal Methods (creator), José Proença (editor), Raul Fervari (editor), Manuel A. Martins (editor), Reinhard Kahle (editor), Graham Pluck (editor)

ISBN: 9783031947476

Summers, Boyd L.

Datum izdaje: 2020

ISBN: 9780367458386