کتاب های Sekerinski, Emil
![FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings](http://cdn.ketabkoo.com/covers/1/118368-n.jpg)
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.), 2006![From action systems to distributed systems: the refinement approach](http://cdn.ketabkoo.com/covers/10/1029049-n.jpg)
From action systems to distributed systems: the refinement approach
Petre, Luigia; Sekerinski, Emil, 2016![From action systems to distributed systems: the refinement approach](http://cdn.ketabkoo.com/covers/10/1029557-n.jpg)