Liknande böcker

Formal Aspects of Component Software : 8th International Symposium, FACS...
Bok av Farhad. Arbab
Formal Aspects of Component Software : 9th International Symposium, FACS...
Bok av David Hutchison
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
Formal Methods: Foundations and Applications - 15th Brazilian Symposium,...
Bok av Rohit. Gheyi
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
Formal Methods: Foundations and Applications : 18th Brazilian Symposium,...
Bok av Marcio Cornelio

Formal Methods: Foundations and Applications

Bok av Adenilso. Simao