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
Call Number: Q - Science
Language: English
Subject: Computer programming
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Computer programming
Formal methods (Computer science)
4
Software engineering
2
Computer science
2
Computer science Mathematics
1
Algebra Data processing
more ...
1
Computer logic
1
Computer software Verification
1
Electronic data processing
1
Information theory
1
Logic, Symbolic and mathematical
1
Mathematical models
1
Programming languages (Electronic computers)
see all ...
less ...
Author
8
SpringerLink (Online service)
3
ICTAC (Colloquium)
2
Liu, Zhiming, 1961-
1
Araki, Keijirō, 1954-
1
Bjørner, D. 1937-
1
Bozapalidēs, Symeōn
more ...
1
Brazilian Symposium on Formal Methods
1
Brazilian Symposium on Formal Methods Natal, Brazil)
1
CAI 2009
1
CAI 2009 Thessalonikē, Greece)
1
Cavalcanti, Ana
1
Davies, Jim, 1964-
1
He, Jifeng, 1943-
1
ICTAC (Colloquium) Guiyang Shi, China)
1
ICTAC (Colloquium) Kuala Lumpur, Malaysia)
1
ICTAC (Colloquium) Natal, Brazil)
1
International Conference on Formal Engineering Methods
1
International Conference on Formal Engineering Methods Tokyo, Japan)
1
Lawford, Mark,
1
Leucker, Martin
1
Liu, Shaoying, 1960-
1
Morgan, Carroll, 1952-
1
Ogata, Kazuhiro,
1
Rachōnēs, Geōrgios, 1965-
1
Silva, Leila
1
Simão, Adenilso
1
Woodcock, Jim,
1
Zhu, Huibiao,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication