Showing 1 - 7
of 7
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
Genre: Conference papers and proceedings
Format: eBook
Subject: Artificial intelligence
Subject: Software engineering
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Artificial intelligence
Formal methods (Computer science)
Software engineering
4
Logic, Symbolic and mathematical
3
Computer logic
3
Computer software Verification
more ...
2
Computer science
2
Computer simulation
2
Computers, Special purpose
2
Programming languages (Electronic computers)
1
Algorithms
1
Automatic control
1
Computer architecture
1
Computer organization
1
Computer science Mathematics
1
Computer software Testing
1
Computers
1
Formal languages
1
Mechatronics
1
Robotics
see all ...
less ...
Author
7
SpringerLink (Online service)
2
International Conference on Software Engineering and Formal Methods
2
International Conference on Software Engineering and Formal Methods Online)
1
ASYDE (Workshop)
1
Boer, Frank S. de
1
CIFMA (Workshop)
more ...
1
CPP 2012
1
CPP 2012 Kyoto, Japan)
1
Cerone, Antonio
1
Cleophas, Loek
1
CoSim-CPS (Workshop)
1
Deshmukh, Jyotirmoy,
1
Furia, Carlo A., 1979-
1
Hawblitzel, Chris
1
ISoLA (Symposium)
1
ISoLA (Symposium) Online)
1
International Conference on Integrated Formal Methods
1
International Conference on Integrated Formal Methods Maynooth, Ireland)
1
Margaria-Steffen, Tiziana, 1964-
1
Massink, Mieke
1
Miller, Dale
1
Ničković, Dejan,
1
Pang, Jun (Computer scientist)
1
RV (Conference)
1
RV (Conference) Online)
1
SETTA (Symposium)
1
SETTA (Symposium) Guangzhou, China)
1
Steffen, Bernhard
1
Winter, Kirsten,
1
Zhang, Lijun, 1979-
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication