Robert M. Hierons

Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.

Bücher des Autors

4

Testing of Communicating Systems

Testing of Communicating Systems

Using formal specifications to enhance the software testing process

Using formal specifications to enhance the software testing process

Formal methods and testing

Formal methods and testing

Software Engineering and Formal Methods

Software Engineering and Formal Methods