Franklin

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.
Publication:
London : Institution of Electrical Engineers, 1995.
Conference Name:
Colloquium on "Practical Application of Formal Methods" (1995 : London, England)
Series:
Colloquium (Institution of Electrical Engineers) ; digest no. 1995/109.
Digest ; no. 1995/109
Format/Description:
Conference/Event
Book
1 v. (various pagings)
Subjects:
Formal methods (Computer science) -- Congresses.
Z (Computer program language) -- Congresses.
System Details:
Mode of access: World Wide Web.
Notes:
At head of title: Computing and Control Division.
Cover title.
Contributor:
IEEE Xplore (Online service)
Institution of Electrical Engineers. Professional Group C1 (Software Engineering)
Institution of Electrical Engineers. Computing & Control Division.
OCLC:
45485747
Access Restriction:
Restricted for use by site license.
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy