Showing 1 - 19
of 19
for search: '',
query time: 0.08s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Literary Form: Non fiction
Subject: Computer software Development
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Computer software Development
Formal methods (Computer science)
6
Computer science Mathematics
5
System design Mathematics
2
System design
1
Computer programs
more ...
1
Computer systems
1
Mobile communication systems
1
Mobile computing
1
Programming languages (Electronic computers)
1
Software engineering
1
Type theory
1
UML (Computer science)
see all ...
less ...
Author
18
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,
2
Tarlecki, Andrzej
1
Bernardo, Marco
1
Bogliolo, Alessandro
1
Bove, Ana
1
Butler, Michael, 1967-
1
Cavalcanti, Ana
1
Codescu, Mihai,
1
Cooke, John, 1947-
1
Cuellar, Jorge
1
Damiani, Ferruccio,
1
Dams, Dennis
1
De Nicola, Rocco,
1
Diaconescu, Răzvan,
1
Drusinsky, Doron
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)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication