Showing 1 - 8
of 8
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
Author: Larsen, K. G. 1957-
Author: SpringerLink (Online service)
Call Number: Q - Science
Literary Form: Non fiction
Institution
Collection
Format
Subject
4
Computer software Verification
4
Software engineering
2
System analysis
2
System design
1
Artificial intelligence
1
Computer organization
more ...
1
Computer programs Reliability
1
Computer programs Verification
1
Computer science
1
Computer science Mathematics
1
Computer science Philosophy
1
Computer simulation
1
Computer software Reliability
1
Computer systems Verification
1
Computers
1
Decidability (Mathematical logic)
1
Formal methods (Computer science)
1
Programming languages (Electronic computers)
see all ...
less ...
Author
Larsen, K. G. 1957-
SpringerLink (Online service)
2
ETAPS (Conference)
2
Groote, J. F. 1965-
2
TACAS (Conference)
2
TACAS (Conference) Online)
more ...
1
Aceto, Luca,
1
Anna Ingólfsdóttir, 1952-
1
Bacci, Giorgio,
1
Bacci, Giovanni (Computer scientist),
1
D'Souza, Deepak,
1
Graf, Susanne,
1
International Workshop on Formal Methods for Industrial Critical Systems
1
International Workshop on Formal Methods for Industrial Critical Systems Amsterdam, Netherlands)
1
Lal, Akash,
1
Legay, Axel,
1
Mardare, Radu,
1
Margaria-Steffen, Tiziana, 1964-
1
Potapov, Igor,
1
RP (Workshop)
1
RP (Workshop) Ålborg, Denmark)
1
SETTA (Symposium)
1
SETTA (Symposium) Changsha Shi, China)
1
Sokolsky, Oleg,
1
Srba, Jiří,
1
Steffen, Bernhard,
1
VMCAI (Conference)
1
VMCAI (Conference) Mumbai, India)
1
Wang, Ji,
1
Willemse, Tim,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication