Formal Methods in Systems Engineering by Peter Ryan (English) Paperback Book
64,98 €
1 Introduction. - 1.5 Hyperprogramming. - 2.5 The Projects. - 2.7 The Information Networks. - 3 The Social Negotiation of Proof: An Analysis and a Further Prediction. - 3.1 Background. - 3.2 VIPER.
Jetzt bei Ebay:
