Showing 1 - 15
of 15
for search: '"Computer software Development Congresses."',
query time: 0.36s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
15
Computer software Development
Formal methods (Computer science)
5
Computer science Mathematics
5
System design Mathematics
2
System design
1
Computer systems
more ...
1
Mobile communication systems
1
Mobile computing
1
Programming languages (Electronic computers)
1
Type theory
see all ...
less ...
Author
15
SpringerLink (Online service)
5
International Symposium of Formal Methods Europe
5
WADT (Workshop)
4
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
4
International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy)
3
Bernardo, Marco,
more ...
2
Johnsen, Einar Broch,
2
Roggenbach, Markus,
1
Bernardo, Marco
1
Bogliolo, Alessandro
1
Bove, Ana
1
Butler, Michael, 1967-
1
Cavalcanti, Ana
1
Codescu, Mihai,
1
Cuellar, Jorge
1
Damiani, Ferruccio,
1
Dams, Dennis
1
De Nicola, Rocco,
1
Diaconescu, Răzvan,
1
Fiadeiro, José Luiz, 1961-
1
Fitzgerald, John, 1965-
1
Hayes, Ian
1
Hillston, J. 1963-
1
Hähnle, Reiner,
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
James, Phillip
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication