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 224 kr
Del 10Formal Methods for Open Object-Based Distributed SystemsPaolo Ciancarini, Alessandro Fantechi, Roberto GorrieriHäftad, 20132 224 kr
Foundations of Security Analysis and Design VAlessandro Aldini, Gilles Barthe, Roberto GorrieriHäftad, 2009517 kr
Automata, Languages and ProgrammingPierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-SpaccamelaHäftad, 19971 116 kr
Formal Methods for Open Object-Based Distributed SystemsInternational Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto GorrieriInbunden, 19992 224 kr
Formal Methods for Open Object-Based Distributed SystemsRoberto Gorrieri, Alessandro Fantechi, Paolo Ciancarini E-bok20132 925 kr