Formal method : industrial use from model to the code /

Enregistré dans:

Détails bibliographiques
Autres auteurs:	Boulanger, Jean-Louis
Format:	Électronique eBook
Langue:	anglais
Publié:	London : ISTE ; 2012. Hoboken, N.J. : Wiley, 2012.
Collection:	Industrial implementation of formal methods series.
Sujets:	Railroads > Management > Data processing. Formal methods (Computer science) Application software > Development. Electronic books.
Accès en ligne:	https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/187070 Voir à l'OPAC
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet