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.