Formal method industrial use from model to the code /

Saved in:

书目详细资料
企业作者:	ebrary, Inc
其他作者:	Boulanger, Jean-Louis
格式:	电子电子书
语言:	英语
出版:	London : Hoboken, N.J. : ISTE ; Wiley, 2012.
丛编:	Industrial implementation of formal methods series.
主题:	Railroads > Management > Data processing. Formal methods (Computer science) Application software > Development. Electronic books.
在线阅读:	An electronic book accessible through the World Wide Web; click to view
标签:	添加标签没有标签, 成为第一个标记此记录!

因特网