1
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

Dan Craigen and Susan Gerhart (Auth.)
సంవత్సరం:
1995
భాష:
english
ఫైల్:
PDF, 35.67 MB
0 / 0
english, 1995
2
Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992

Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992

Dan Craigen, Susan Gerhart, Ted Ralston (auth.), J. P. Bowen MA, J. E. Nicholls MA (eds.)
సంవత్సరం:
1993
భాష:
english
ఫైల్:
PDF, 10.47 MB
0 / 0
english, 1993