Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > number:
2-5
& article
:
“A Specifier’s Introduction to Formal Methods”
or
None
& date
:
1981
or
1995
or
2006
or
2007
or
Mar. 1994 ![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
Click on the filter values below to narrow your results.
Applied Statistics and Probability for Engineers (1) ·
Computer Algorithms (1) ·
Numerical Mathematics and Computing (1) ·
The Essentials of Computer Organization and Architecture (1) ·
The Road Map to Software
Engineering: A Standards-Based Guide (1) ·
The Road Map to Software Engineering: A Standards-Based Guide (2)
Showing below up to 7 results in range #1 to #7.
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)