Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > author 
:
E. Gamma et al. or
E. Horowitz et al. or
J. Nielsen or
Joint Task Force on Computing Curricula, IEEE Computer Society and Association for Computing Machinery or
N.R. Tague or
W.G. Vincenti
& article :
“A Specifier’s Introduction to Formal Methods” or
None
& edition :
11th ed. or
1st ed. or
2th ed or
70-WSE-03 or
9th ed. or
vol. 83, no. 1
& issue:
None
:
E. Gamma et al. or
E. Horowitz et al. or
J. Nielsen or
Joint Task Force on Computing Curricula, IEEE Computer Society and Association for Computing Machinery or
N.R. Tague or
W.G. Vincenti
& article :
“A Specifier’s Introduction to Formal Methods” or
None
& edition :
11th ed. or
1st ed. or
2th ed or
70-WSE-03 or
9th ed. or
vol. 83, no. 1
& issue:
None Click on the filter values below to narrow your results.
number:
author: (Click arrow to add another value)
article: (Click arrow to add another value)
edition: (Click arrow to add another value)
publisher:
issue: (Click arrow to add another value)
date:
part:
link:
Showing below up to 1 result in range #1 to #1.
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)
