Showing 1 - 5
of 5
for search: '',
query time: 0.05s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Call Number: Q - Science
Author: SpringerLink (Online service)
Subject: Computer software Development
Subject: System design Mathematics
Institution
Collection
Format
Subject
Author
5
International Symposium of Formal Methods Europe
SpringerLink (Online service)
1
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
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication