Formal Methods for Industrial ApplicationsJean-Raymond Abrial, Egon Börger, Hans LangmaackHäftad, 19961 113 kr
Formal Techniques in Real-Time and Fault-Tolerant SystemsHans Langmaack, Willem-Paul de Roever, Jan VytopilHäftad, 19941 147 kr
Compositionality: The Significant DifferenceWillem-Paul de Roever, Hans Langmaack, Amir PnueliHäftad, 19981 147 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, 1985577 kr
Compositionality: The Significant DifferenceAmir Pnueli, Hans Langmaack, Willem-Paul de Roever E-bok20031 470 kr
VDM '90. VDM and Z - Formal Methods in Software DevelopmentDines Bjørner, C.A.R. Hoare, Hans LangmaackHäftad, 1990577 kr