Suchergebnisse - Good, Donald I.

1

Computing is a physical science von Good, Donald I.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Constructing verified and reliable communications processing systems von Good, Donald I.

Veröffentlicht in Software engineering notes

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Computer Interval Arithmetic: Definition and Proof of Correct Implementation von Good, Donald I, London, Ralph L

Veröffentlicht in Journal of the ACM

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Design of a Verifiable Subset for HAL/S von Young, William D, Tripathi, Anand R, Good, Donald I, Brownes, James C

Veröffentlicht in Journal of guidance, control, and dynamics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Generics and verification in Ada von Young, William D, Good, Donald I

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Certification of algorithm 386 [A1] von Ragland, Larry C, Good, Donald I

Veröffentlicht in Communications of the ACM

Volltext
Magazinearticle

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

New directions in teaching the fundamentals of computer science — discrete structures and computational analysis von Yeh, Raymond T., Good, Donald I., Musser, David R.

Veröffentlicht in SIGCSE bulletin

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

New directions in teaching the fundamentals of computer science - discrete structures and computational analysis von Yeh, Raymond T, Good, Donald I, Musser, David R

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

What can formal methods offer to digital flight control systems design von Good, Donald I.

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Mathematical methods for digital systems development von Good, Donald I., Young, William D.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Toward building verified, secure systems von Good, Donald I.

Veröffentlicht in Software engineering notes

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Mechanical Proofs about Computer Programs von Good, Donald I

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Transferring testing and verification technology to industry von Good, D.I.

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Producing secure digital information systems von Good, D.I.

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Provable programming von Good, Donald I.

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

An interactive program verification system von Good, D. I., Bledsoe, W. W., London, R. L.

Veröffentlicht in IEEE transactions on software engineering

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Generics and verification in Ada von Young, William D., Good, Donald I.

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Steelman and the verifiability of (preliminary) ADA von Young, William D., Good, Donald I.

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

A second generation verification environment von Good, Donald I., Boyer, Robert S., Moore, J. Strother

Veröffentlicht in Software engineering notes

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Remark on Algorithm 386 [A1]: Greatest Common Divisor of $n$ Integers and Multipliers von Ragland, Larry C., Good, Donald I.

Veröffentlicht in Communications of the ACM

Volltext
Magazinearticle

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[16]

Computing is a physical science von Good, Donald I.

Constructing verified and reliable communications processing systems von Good, Donald I.

Computer Interval Arithmetic: Definition and Proof of Correct Implementation von Good, Donald I, London, Ralph L

Design of a Verifiable Subset for HAL/S von Young, William D, Tripathi, Anand R, Good, Donald I, Brownes, James C

Generics and verification in Ada von Young, William D, Good, Donald I

Certification of algorithm 386 [A1] von Ragland, Larry C, Good, Donald I

New directions in teaching the fundamentals of computer science — discrete structures and computational analysis von Yeh, Raymond T., Good, Donald I., Musser, David R.

New directions in teaching the fundamentals of computer science - discrete structures and computational analysis von Yeh, Raymond T, Good, Donald I, Musser, David R

What can formal methods offer to digital flight control systems design von Good, Donald I.

Mathematical methods for digital systems development von Good, Donald I., Young, William D.

Toward building verified, secure systems von Good, Donald I.

Mechanical Proofs about Computer Programs von Good, Donald I

Transferring testing and verification technology to industry von Good, D.I.

Producing secure digital information systems von Good, D.I.

Provable programming von Good, Donald I.

An interactive program verification system von Good, D. I., Bledsoe, W. W., London, R. L.

Generics and verification in Ada von Young, William D., Good, Donald I.

Steelman and the verifiability of (preliminary) ADA von Young, William D., Good, Donald I.

A second generation verification environment von Good, Donald I., Boyer, Robert S., Moore, J. Strother

Remark on Algorithm 386 [A1]: Greatest Common Divisor of $n$ Integers and Multipliers von Ragland, Larry C., Good, Donald I.

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle