Springer-Verlag Berlin and Heidelberg GmbH & Co. K Mural: a Formal Development Support System - C.B. Jones, K.D. Jones, Peter Lindsay, R.D. Moore, J. Bicarregui, M. Elvang-Goransson, B. Ritchie, A.C. Wills, R. Kneuper et R.E. Fields

Mural: a Formal Development Support System - C.B. Jones, K.D. Jones, Peter Lindsay, R.D. Moore, J. Bicarregui, M. Elvang-Goransson, B. Ritchie, A.C. Wills, R. Kneuper et R.E. Fields d'occasion à petit prix - Livraison gratuite à partir de 20 € d'achat sur Ammareal. ...