B method (Computer science)

Formal methods applied to complex systems DUP_1 = implementation of the B Method / by: (書目-語言資料,印刷品)

Formal methods applied to complex systems = implementation of the B Method / by: (書目-語言資料,印刷品)

Java software development with event B : = a practical guide / by: (書目-語言資料,印刷品)

Formal methods (Computer science)

B method (Computer science)

Java (Computer program language)

Computer software