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: Shaoying Liu 29 träffar

Titel Författare År Språk
1 Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings 2016 Engelska
2 Formal Methods and Software Engineering 2016 Okänt
3 Formal Methods and Software Engineering - 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings David. Hutchison 2008 Engelska
4 ICFEM 2000 - Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000 England) IEEE International Conference on Formal Engineering Methods 2000 : York c2000 Engelska
5 Formal Methods and Software Engineering Kazuhiro Ogata 2024 Engelska
6 Formal Engineering for Industrial Software Development : Using the SOFL Method / by Shaoying Liu Shaoying. author. Liu uuuu-uuuu Okänt
7 Agile-SOFL : Agile Formal Engineering Method Shaoying. Liu 2024 Engelska
8-9 Agile-SOFL : Agile Formal Engineering Method / by Shaoying Liu (flera utgåvor) Shaoying. Liu uuuu-uuuu Okänt
10 Formal engineering for industrial software development - using the SOFL method Shaoying Liu cop. 2004 Engelska
11-12 Software Fault Prevention, Verification, and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings / edited by Shaoying Liu (flera utgåvor) Shaoying. Liu uuuu-uuuu Okänt
13-14 Structured Object-Oriented Formal Language and Method - Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers (flera utgåvor) Shaoying. Liu 2014 Engelska
15 Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers Shaoying. Liu 2023 Engelska
16 Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers Shaoying. Liu uuuu-uuuu Okänt
17 Formal Engineering for Industrial Software Development Shaoying Liu 2004 Okänt
18 Formal Methods and Software Engineering Shaoying Liu 2008 Okänt
19 Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings Shaoying Liu 2025 Engelska
20 Structured Object-Oriented Formal Language and Method Shaoying Liu 2015 Okänt

1 2 Nästa sida

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.