Entry Bar-David:1990:FSO from cccuj.bib
Last update: Fri Jun 21 02:02:13 MDT 2019
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Bar-David:1990:FSO,
author = "Tsvi Bar-David",
title = "Formal Specifications and Object-Oriented Design",
journal = j-CUJ,
volume = "8",
type = "Applying C++",
number = "7",
pages = "69--??",
month = jul,
year = "1990",
ISSN = "0898-9788",
bibdate = "Fri Aug 30 16:52:23 MDT 1996",
bibsource = "http://www.cuj.com/cbklist.htm;
http://www.math.utah.edu/pub/tex/bib/cccuj.bib",
acknowledgement = ack-nhfb,
}
Related entries
- Bar-David, Tsvi,
7(4)75,
7(7)9,
7(10)21,
8(1)105,
8(3)43,
8(5)43,
8(9)117,
8(11)83,
9(7)55
- David, Tsvi, Bar-,
7(4)75,
7(7)9,
7(10)21,
8(1)105,
8(3)43,
8(5)43,
8(9)117,
8(11)83,
9(7)55
- design,
0(0)xii--300,
0(0)xv--395,
0(0)xvi--206,
0(0)xvi--303,
0(0)xvi--523-16,
0(0)xix--580,
0(0)586,
6(3)25,
7(1)59,
7(1)89,
7(5)77,
7(10)136,
8(2)59,
8(6)105,
8(8)103,
9(2)125,
9(4)111,
12(1)75,
13(9)51,
13(10)78,
16(3)z,
16(5)z,
16(6)z,
16(7)z,
17(8)81,
17(9)73
- formal,
11(4)10,
17(2)z
- Object-Oriented,
7(2)51,
7(7)9,
8(2)43,
8(6)105,
8(7)43,
8(7)113,
8(7)131,
8(8)47,
9(2)125,
9(12)101,
11(5)52,
11(7)51,
13(7)77,
13(10)78,
14(1)33,
14(4)43,
15(9)51,
15(9)98,
16(2)z,
16(4)z,
16(5)z,
16(6)z,
17(11)z
- Oriented, Object-,
7(2)51,
7(7)9,
8(2)43,
8(6)105,
8(7)43,
8(7)113,
8(7)131,
8(8)47,
9(2)125,
9(12)101,
11(5)52,
11(7)51,
13(7)77,
13(10)78,
14(1)33,
14(4)43,
15(9)51,
15(9)98,
16(2)z,
16(4)z,
16(5)z,
16(6)z,
17(11)z