בתוך החיפוש שלך נושאים מוצעים
Showing 1 - 3 results of 3 for search '', זמן שאילתה: 0.18s Refine Results
1
VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings /
Berlin ; New York : Springer-Verlag, 1990

Conference Proceeding ספר
2
VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings /
Berlin ; New York : Springer-Verlag, 1987

Conference Proceeding ספר
3
VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings /
Berlin ; New York : Springer-Verlag, 1990

Conference Proceeding ספר
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש