B method (Computer science)

Formal methods applied to complex systems DUP_1 = implementation of the B Method / by: (Language materials, printed)

Formal methods applied to complex systems = implementation of the B Method / by: (Language materials, printed)

Java software development with event B : = a practical guide / by: (Language materials, printed)

Formal methods (Computer science)

B method (Computer science)

Java (Computer program language)

Computer software