Yazar
Elvira Albert
4 cilt bulundu.
Cilt sonuçları
Logic-Based Program Synthesis and Transformation
Elvira Albert · Springer London, Limited
255 sayfa · 2013
Logic programming / Transformations (mathematics) / Artificial Intelligence (incl. Robotics) / Software engineering / Computer science
Formal Techniques for Distributed Objects, Components, and Systems
Elvira Albert, Ivan Lanese · Springer
283 sayfa · 2016
Electronic data processing, distributed processing / Computer network protocols / Computer science
Integrated Formal Methods
Elvira Albert, Emil Sekerinski · Springer
402 sayfa · 2014
System design / Computer science / Software engineering / Logic design / Logics and Meanings of Programs