Formal method : industrial use from model to the code /

Shranjeno v:

Bibliografske podrobnosti
Drugi avtorji:	Boulanger, Jean-Louis
Format:	Elektronski eKnjiga
Jezik:	angleščina
Izdano:	London : ISTE ; 2012. Hoboken, N.J. : Wiley, 2012.
Serija:	Industrial implementation of formal methods series.
Teme:	Railroads > Management > Data processing. Formal methods (Computer science) Application software > Development. Electronic books.
Online dostop:	https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/187070 Ver en el OPAC
Oznake:	Označite Brez oznak, prvi označite!

Internet