Formal method industrial use from model to the code /

Saved in:
Bibliografiske detaljer
Institution som forfatter: ebrary, Inc
Andre forfattere: Boulanger, Jean-Louis
Format: Electronisk eBog
Sprog:engelsk
Udgivet: London : Hoboken, N.J. : ISTE ; Wiley, 2012.
Serier:Industrial implementation of formal methods series.
Fag:
Online adgang:An electronic book accessible through the World Wide Web; click to view
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!