yr 〜
yr

Search results 4

VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September 11-16, 1988 : proceedings / R. Bloomfield, L. Marshall, R. Jones (eds.). (Lecture notes in computer science)

VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September 11-16, 1988 : proceedings / R. Bloomfield, L. Marshall, R. Jones (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A4676>
National Diet Library
  • Subject Heading...-- Congresses. Computer software industry -- European Community countries -- Congresses.

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner ... [et al.]. (Lecture notes in computer science)

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner ... [et al.]. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1987.<M15-A3435>
National Diet Library
  • Subject Heading...-- Congresses. Computer software industry -- European Community countries -- Congresses.

VDM '88 : VDM--the way ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September, 11-16, 1988 : proceedings : gw : us

VDM '88 : VDM--the way ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September, 11-16, 1988 : proceedings : gw : us
Paper図書
R. Bloomfield, L. Marshall, R. Jones (eds.)Springer-Verlagc1988
Other Libraries in Japan
  • Subject Heading... -- Congresses Computer software industry -- European Community countries -- Congresses
  • Subject Heading (ID)... -- Congresses Computer software industry -- European Community countries -- Congresses

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings : gw : us

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings : gw : us
Paper図書
edited by D. Bjørner ... [et al.]Springer-Verlagc1987
Other Libraries in Japan
  • Subject Heading... -- Congresses Computer software industry -- European Community countries -- Congresses
  • Subject Heading (ID)... -- Congresses Computer software industry -- European Community countries -- Congresses

Reached to the end of result.