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:
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!