Liknande böcker

Formal Methods, Foundations and Applications : 14th Brazilian Symposium,...
Bok av Adenilso. Simao
Formal Aspects of Component Software : 9th International Symposium, FACS...
Bok av David Hutchison
Formal Aspects of Component Software : 8th International Symposium, FACS...
Bok av Farhad. Arbab
Formal Aspects of Component Software : 10th International Symposium, FAC...
Bok av José Luiz. Fiadeiro
Formal Aspects of Component Software : 11th International Symposium, FAC...
Bok av Ivan. Lanese
FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, Ju...
Bok av Nikolaj Bjorner
FM 2014: Formal Methods : 19th International Symposium, Singapore, May 1...
Bok av Cliff. Jones
Computational Logic in Multi-Agent Systems : 10th International Workshop...
Bok av Jürgen. Dix

Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Paperback, 2012 ed.)

Bok av Rohit. Gheyi