Colloquium on "Practical Application of Formal Methods" [electronic resource]. Friday, 19 May 1995 / organised by Professional Group C1 (Software engineering).
- Other Title:
- Practical application of formal methods
Practical Application of Formal Methods, IEE Colloquium on.
- London : Institution of Electrical Engineers, 1995.
- Conference Name:
- Colloquium on "Practical Application of Formal Methods" (1995 : London, England)
- Colloquium (Institution of Electrical Engineers) ; digest no. 1995/109.
Digest ; no. 1995/109
1 v. (various pagings)
- Formal methods (Computer science) -- Congresses.
Z (Computer program language) -- Congresses.
- System Details:
- Mode of access: World Wide Web.
- At head of title: Computing and Control Division.
- IEEE Xplore (Online service)
Institution of Electrical Engineers. Professional Group C1 (Software Engineering)
Institution of Electrical Engineers. Computing & Control Division.
- Access Restriction:
- Restricted for use by site license.
|Location||Notes||Your Loan Policy|
|Description||Status||Barcode||Your Loan Policy|