Formal methods applied to complex systems : implementation of the B method /

Furkejuvvon:
Bibliográfalaš dieđut
Eará dahkkit: Boulanger, Jean-Louis (Doaimmaheaddji)
Materiálatiipa: Elektrovnnalaš E-girji
Giella:eaŋgalasgiella
Almmustuhtton: London, England ; Hoboken, New Jersey : iSTE : Wiley, 2014.
Ráidu:Computer engineering series.
Fáttát:
Liŋkkat:An electronic book accessible through the World Wide Web; click to view
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!