Author books / Книги автора Neeraj Kumar Singh (auth.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Neeraj Kumar Singh (auth.)

book Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems

pdf

Author: Neeraj Kumar Singh (auth.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

pdf

Author: Dominique Méry Neeraj Kumar Singh (auth.) Zhiming Liu Alan Wassyng (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0