Formal method industrial use from model to the code /

-д хадгалсан:
Номзүйн дэлгэрэнгүй
Байгууллагын зохиогч: ebrary, Inc
Бусад зохиолчид: Boulanger, Jean-Louis
Формат: Цахим Цахим ном
Хэл сонгох:англи
Хэвлэсэн: London : Hoboken, N.J. : ISTE ; Wiley, 2012.
Цуврал:Industrial implementation of formal methods series.
Нөхцлүүд:
Онлайн хандалт:An electronic book accessible through the World Wide Web; click to view
Шошгууд: Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!