Cover von Special issue on FM 99; 3 opens in new tab

Special issue on FM 99; 3

the first world congress on formal methods in the development of computing systems : S. 199 - 272
Search for this author
Year: 2000
Publisher: Boston, Kluwer
Count: 3
Media group: SPECIAL ISSUE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Journals Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

World congress on formal methods in the development of computing systems <1, 1999>

Details

Search for this author
Year: 2000
Publisher: Boston, Kluwer
opens in new tab
Search for this systematic
Search for this subject type
Volume: 17
Count: 3
Participating parties: Search for this character Wing, Jeannette M.; Woodcock, James C. P.
Parallel title: FM 99
Media group: SPECIAL ISSUE