Formal method industrial use from model to the code /

Spremljeno u:

Bibliografski detalji
Autor kompanije:	ebrary, Inc
Daljnji autori:	Boulanger, Jean-Louis
Format:	Elektronički e-knjiga
Jezik:	engleski
Izdano:	London : Hoboken, N.J. : ISTE ; Wiley, 2012.
Serija:	Industrial implementation of formal methods series.
Teme:	Railroads > Management > Data processing. Formal methods (Computer science) Application software > Development. Electronic books.
Online pristup:	An electronic book accessible through the World Wide Web; click to view
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Internet