Formal methods in software engineering and defence systems 2002 : proceedings of the Satellite Works...
Formal methods in software engineering and defence systems 2002 : proceedings of the Satellite Works...
Formal methods in software engineering and defence systems 2002 : proceedings of the Satellite Workshops on Software Engineering and Formal Methods and Formal Methods Applied to Defence Systems / edited by Charles Lakos ... [et al.].
About this item
Full title
Author / Creator
Publisher
Sydney : Australian Computer Society, c2002.
Call Numbers
TQ039313
Record Identifier
MMS ID
Language
English
Formats
Physical Description
Physical content
vi., 156 p. : ill. ; 30 cm.
Publication information
Publisher
Sydney : Australian Computer Society, c2002.
Place of Publication
New South Wales
Date Published
c2002.
Subjects
More information
Alternative Titles
Full title
Formal methods in software engineering and defence systems 2002 : proceedings of the Satellite Workshops on Software Engineering and Formal Methods and Formal Methods Applied to Defence Systems / edited by Charles Lakos ... [et al.].
Portion of title
Proceedings of the Satellite Workshops on Software Engineering and Formal Methods and Formal Methods Applied to Defence Systems, of the 23rd International Conference on Application and Theory of Petri Nets, Adelaide, Australia, June 2002.
Authors, Artists and Contributors
Author / Creator
Author / Artists
Notes
General note
Conferences in research and practice in information technology, 1445-1336 ; v. 12.
Includes bibliographies and index.
Additional physical form availability note
Also available on CD ROM.
Contextual Information
Date Copyright
c2002.
Identifiers
Primary Identifiers
Call Numbers
TQ039313
Record Identifier
74VvxqOorJMg
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74VvxqOorJMg
Other Identifiers
ISBN
0909925909
9780909925901
DDC
384.51
621.38254
MMS ID
991016663519702626
