Formal Methods for Open Object-Based Distributed SystemsRoberto Gorrieri, Alessandro Fantechi, Paolo Ciancarini E-bok20132 925 kr
Formal Methods for Open Object-Based Distributed SystemsInternational Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto GorrieriInbunden, 19992 239 kr
Del 10Formal Methods for Open Object-Based Distributed SystemsPaolo Ciancarini, Alessandro Fantechi, Roberto GorrieriHäftad, 20132 230 kr
Foundations of Security Analysis and Design VAlessandro Aldini, Gilles Barthe, Roberto GorrieriHäftad, 2009521 kr
Automata, Languages and ProgrammingPierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-SpaccamelaHäftad, 19971 125 kr
Formal Methods for Open Object-Based Distributed SystemsInternational Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto GorrieriInbunden, 19992 239 kr
Formal Methods for Open Object-Based Distributed SystemsRoberto Gorrieri, Alessandro Fantechi, Paolo Ciancarini E-bok20132 925 kr