Formal Techniques for Networked and Distributed Systems - FORTE 2006 Elie Najm, JeanFrancois PradatPeyre, Véronique Viguié DonzeauGouge 880,20 kr. Se produkt
Formal Methods for Open Object-Based Distributed Systems Elie Najm, Uwe Nestmann, Perdita Stevens 456,60 kr. Se produkt