Liknande böcker

Automated Technology for Verification and Analysis : 10th International...
Bok av Supratik. Chakraborty
Formal Methods for Components and Objects : 9th International Symposium,...
Bok av Marcello M. Bonsangue
Software Engineering and Formal Methods : 13th International Conference,...
Bok av Radu Calinescu
Formal Methods and Software Engineering : 17th International Conference...
Bok av Michael Butler
NASA Formal Methods
Bok av Guillaume. Brat
Software Composition : 9th International Conference, SC 2010, Malaga, Sp...
Bok av Benoît. Baudry
Trustworthy Global Computing : International Symposium, TGC 2005, Edinbu...
Bok av Rocco. De Nicola
Automated Technology for Verification and Analysis : 12th International...
Bok av Franck. Cassez

Automated Technology for Verification and Analysis

Bok av Tevfik. Bultan