Showing 1 - 6
of 6
for search: '"Computer software"',
query time: 0.17s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: International Symposium of Formal Methods Europe
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Author
International Symposium of Formal Methods Europe
6
SpringerLink (Online service)
2
Butler, Michael, 1967-
1
Cavalcanti, Ana
1
Cuellar, Jorge
1
Dams, Dennis
more ...
1
Fitzgerald, John, 1965-
1
Hayes, Ian
1
International Symposium of Formal Methods Europe Eindhoven, Netherlands)
1
International Symposium of Formal Methods Europe Hamilton, Ont.)
1
International Symposium of Formal Methods Europe Limerick, Limerick, Ireland)
1
International Symposium of Formal Methods Europe Newcastle upon Tyne, England)
1
International Symposium of Formal Methods Europe Turku, Finland)
1
Maibaum, Thomas S. E., 1947-
1
Misra, Jayadev
1
Nipkow, Tobias, 1958-
1
Schulte, Wolfram
1
Sekerinski, E. 1963-
1
Sere, K. 1954-
1
Tarlecki, Andrzej
1
Workshop on Rigorous Engineering of Fault-tolerant Systems
1
Workshop on Rigorous Engineering of Fault-tolerant Systems Newcastle upon Tyne, England)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication