World Congress on Formal Methods in the Development of Computing Systems ((1999 :)
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
FM'99 - formal methods = World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.. Volume I /
by:
Davies, Jim.; Wing, Jeannette Marie.; Woodcock, Jim.; SpringerLink (Online service); World Congress on Formal Methods in the Development of Computing Systems ((1999 :)
(書目-語言資料,印刷品)
Theoretical and practical aspects of SPIN model checking = 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings /
by:
Dams, Dennis.; SpringerLink (Online service); International SPIN Workshop (1999 :); Federated Logic Conference ((1999 :); International SPIN Workshop (1999 :); World Congress on Formal Methods in the Development of Computing Systems ((1999 :)
(書目-語言資料,印刷品)
FM'99 - formal methods = World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.. Volume II /
by:
Davies, Jim.; Wing, Jeannette Marie.; Woodcock, Jim.; SpringerLink (Online service); World Congress on Formal Methods in the Development of Computing Systems ((1999 :)
(書目-語言資料,印刷品)