Yazar
ivan lanese
4 cilt bulundu.
Cilt sonuçları
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
Reversible Computation
Simon Devitt, Ivan Lanese · Springer
323 sayfa · 2016
Programming languages (electronic computers) / Logic design / Computers
Formal Aspects of Component Software
Ivan Lanese, Eric Madelaine · Springer London, Limited
385 sayfa · 2015
Computer science / Programming languages (electronic computers)
Theoretical Computer Science
Josep Diaz, Ivan Lanese, Davide Sangiorgi · Springer Berlin / Heidelberg
355 sayfa · 2014
Machine theory / Robots / Formal languages / Computer science / Computer software