Formal Methods for Industrial ApplicationsJean-Raymond Abrial, Egon Börger, Hans LangmaackHäftad, 19961 081 kr
Formal Techniques in Real-Time and Fault-Tolerant SystemsHans Langmaack, Willem-Paul de Roever, Jan VytopilHäftad, 19941 110 kr
Compositionality: The Significant DifferenceWillem-Paul de Roever, Hans Langmaack, Amir PnueliHäftad, 19981 113 kr
Distributed SystemsM.W. Alford, J.P. Ansart, G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B. Schneider, Manfred Paul, H.J. SiegertHäftad, 1985560 kr
Compositionality: The Significant DifferenceAmir Pnueli, Hans Langmaack, Willem-Paul de Roever E-bok20031 455 kr