Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Joachim Parrow
18 träffar
|
Titel |
Författare |
År |
Språk |
1 |
Laddie - an automatic programming tool for language design
|
Joachim Parrow
|
1982 |
Engelska |
2 |
A unifying theory for compilation and decompilation with an application
|
Joachim Parrow
|
1983 |
Engelska |
3 |
Fairness properties in process algebra - with applications in communication protocol verification
|
Joachim Parrow
|
1985 |
Engelska |
4 |
11th International IFIP WG 6.1 Symposium on Protocol Specification, Testing, and Verification, Stockholm, June 17-20 1991
|
And Verification Stockholm : 1991) Testing IFIP WG 6.1 International Symposium on Protocol Specification
|
1991 |
Engelska |
5 |
11th International IFIP WG 6.1 Symposium on Protocol Specification, Testing, and Verification, Stockholm, June 17-20 1991, Tutorial notes
|
And Verification Stockholm : 1991) Testing IFIP WG 6.1 International Symposium on Protocol Specification
|
1991 |
Engelska |
6 |
11th International IFIP WG 6.1 Symposium on Protocol Specification, Testing, and Verification, Stockholm, June 17-20 1991, Participants proceedings
|
And Verification Stockholm : 1991) Testing IFIP WG 6.1 International Symposium on Protocol Specification
|
1991 |
Engelska |
7 |
The concurrency workbench - a semantics based tool for the verification of concurrent systems
|
Rance Cleaveland
|
1991 |
Engelska |
8 |
Concur '94 - concurrency theory : 5th International Conference, Uppsala, Sweden, August 22-25, 1994 : proceedings
|
International Conference on Concurrency Theory 1994) Uppsala :
|
cop. 1994 |
Engelska |
9 |
Protocol specification, testing, and verification, XI - proceedingsof the IFIP WG 6.1 eleventh International Symposium on Protocol Specification, Testing, and Verification , Stockholm, Sweden, 18-20 June, 1991
|
Testing and Verification 1991 : Stockholm) IFIP WG 6.1 International Symposium on Protocol Specification
|
1991 |
Engelska |
10-12 |
Formal techniques in real-time and fault-tolerant systems - proceedings
(flera utgåvor)
|
|
cop. 1996 |
Engelska |
13 |
Creating Correct Network Protocols
|
Oskar Wibling
|
2008 |
Engelska |
14 |
CONCUR ’94: Concurrency Theory
|
International Conference on Concurrency Theory
|
1994 |
Engelska |
15 |
Modal Logics for Nominal Transition Systems
|
Joachim Parrow
|
2015 |
Engelska |
16 |
Culling Concurrency Theory - Reusable and trustworthy meta-theory, proof techniques and separation results
|
Johannes Åman Pohjola
|
2016 |
Engelska |
17 |
Broadcast Psi-calculi with an Application to Wireless Protocols
|
Uruguay Montevideo 2011 November 14-18 9th International Conference on Software Engineering and Formal Methods Johannes Borgström
|
2011 |
Engelska |
18 |
Conservative Definitions for Higher-order Logic with Ad-hoc Overloading
|
Arve Gengelbach
|
2021 |
Engelska |
1
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.