Formal methods applied to complex systems : implementation of the B method
Başlık:
Formal methods applied to complex systems : implementation of the B method
Yazar:
Boulanger, Jean-Louis, editor.
Fiziksel Tanımlama:
1 online resource (512 pages) : illustrations, tables.
Seri:
Computer Engineering Series
Computer engineering series.
Notlar:
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
