Filter
Søkt på: Søkeresultat
Filter
totalt 3 treff
Nuklearmedizin in der Orthopädie
heftet,
2011,
Tysk,
ISBN 9783642748110
Beschleuniger in der Großforschung
heftet,
1986,
Tysk,
ISBN 9783540165095
SPIN Model Checking and Software Verification
heftet,
2000,
Engelsk,
ISBN 9783540410300
The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of …