Formal Semantics

Похожие книги

1. Hinterwimmer, Stefan. Q-Adverbs as Selective Binders: The Quantificational Variability of Free Relatives and Definite DPs (Interface Explorations). – М.: , 2008. – 289 с.
   
2. T. H. Tse, C. J. van Rijsbergen. A Unifying Framework for Structured Analysis and Design Models : An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science). – М.: , 0. – 0 с.
   
3. Author Unknown. Formal Models and Semantics,Volume B. – М.: , 2010. – 0 с.
   
4. Glynn Winskel. The Formal Semantics of Programming Languages – An Introduction. – М.: , 1993. – 384 с.
   
5. Formal Semantics. – М.: , 2002. – 496 с.
   
6. Glynn Winskel. The Formal Semantics of Programming Languages – An Introduction (Paper) (ISE). – М.: , 1993. – 384 с.
   
7. Jameleddine Hassine. Formal Semantics and Verification Of Use Case Maps. – М.: Scholars' Press, 2013. – 296 с.
   
8. Moti Suess. A Semantic Account of Vagueness. – М.: LAP Lambert Academic Publishing, 2014. – 100 с.
   
9. Hazem El-Gendy. Formal Methods for Computer/Communications Protocols and Software. – М.: LAP Lambert Academic Publishing, 2012. – 172 с.
   
10. Marcello Leida. Ontology-based Semantic Data Integration. – М.: LAP Lambert Academic Publishing, 2010. – 308 с.
    
11. Hung-ju Chu. Semantic Association of Faceted Taxonomies. – М.: LAP Lambert Academic Publishing, 2012. – 148 с.
    
12. Artem Chebotko and Shiyong Lu. Querying the Semantic Web. – М.: LAP Lambert Academic Publishing, 2010. – 176 с.
    
13. Rudra Pratap Deb Nath,Hanif Seddiqui and Masaki Aono. Ontology Instance Matching for Semantic Data Integration. – М.: LAP Lambert Academic Publishing, 2014. – 84 с.
    
14. Ashish Kumar Dwivedi. Formalization and Model Checking of Software Architectural Style. – М.: LAP Lambert Academic Publishing, 2015. – 80 с.
    
15. Mohammad Shahjahan Feroz Farazi. Faceted Lightweight Ontologies: A Formalization and Some Experiments. – М.: LAP Lambert Academic Publishing, 2010. – 184 с.
    
16. Guido Scatena. Abstract Probabilistic Semantics for the Analysis of Bio Sys Models. – М.: LAP Lambert Academic Publishing, 2012. – 176 с.
    
17. Amala Rajan. Formal Semantics for LIPS. – М.: , 2011. – 148 с.
    

Образцы работ

Задайте свой вопрос по вашей теме

		Гладышева Марина Михайловна marina@studentochka.ru +7 911 822-56-12 с 9 до 21 ч. по Москве.