|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with Leslie Lamport Abstract of the paper, 15.07.1974(?) "The Dynamic Verification of Assertions: A Proposal".
Letter, E. J. Neuhold->M. Paul, 08.11.1978concerning WG 2.2 problems (doc. "Baden-11").
Letter with Attachments, L. Lamport->A.P. Ershov, 17.05.1989The author inquires whether A.Ershov is planning to attend the WG 2.2 meeting in Palo Alto (21-25.08.1989). The attachments contain information on the meeting and a hotel reservation form.
Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
