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: Teruo. Higashino 14 träffar

Titel Författare År Språk
1-2 Principles of Distributed Systems (flera utgåvor) Teruo. Higashino 2005 Engelska
3-4 Automated Technology for Verification and Analysis (flera utgåvor) Kedar S. Namjoshi 2007 Engelska
5 Testing of Software and Communicating Systems electronic resource - 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings Kenji. Suzuki 2008 Engelska
6 Formal Techniques for Networked and Distributed Systems – FORTE 2008 electronic resource - 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings Kenji. Suzuki 2008 Engelska
7 Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 2225, 2007 Proceedings Kedar S. Namjoshi 2007 Okänt
8 Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings 2013 Engelska
9 Protocol Test Systems Tadanori Mizuno 1995 Okänt
10 Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 Teruo Higashino 1997 Okänt
11 Principles of Distributed Systems Teruo Higashino 2005 Okänt
12 Testing of Software and Communicating Systems Kenji Suzuki 2008 Okänt
13 Formal Techniques for Networked and Distributed Systems FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings Kenji Suzuki 2008 Okänt
14 Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 1997 Okänt

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.