Boulanger, J. (2014). Formal methods applied to complex systems: Implementation of the B method. iSTE : Wiley.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Chicago-čujuhus (17. p.)
Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. London, England ; Hoboken, New Jersey: iSTE : Wiley, 2014.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
MLA-čujuhus (9. p.)
Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. iSTE : Wiley, 2014.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.