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
21 träffar
|
Titel |
Författare |
År |
Språk |
1 |
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 |
2 |
Formal engineering for industrial software development - using the SOFL method
|
Shaoying Liu
|
cop. 2004 |
Engelska |
3-4 |
Structured Object-Oriented Formal Language and Method
(flera utgåvor)
|
Shaoying Liu
|
2015 |
Okänt |
5 |
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 |
6 |
Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
|
Shaoying Liu
|
2013 |
Okänt |
7-8 |
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 |
9 |
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
|
|
2016 |
Engelska |
10-12 |
Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
(flera utgåvor)
|
|
2017 |
Engelska |
13 |
Formal Engineering for Industrial Software Development
|
Shaoying Liu
|
2004 |
Okänt |
14 |
Formal Methods and Software Engineering
|
Shaoying Liu
|
2008 |
Okänt |
15 |
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
|
|
2023 |
Okänt |
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-18 |
Agile-SOFL : Agile Formal Engineering Method / by Shaoying Liu
(flera utgåvor)
|
Shaoying. Liu
|
uuuu-uuuu |
Okänt |
19 |
Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
|
|
2016 |
Okänt |
20 |
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
|
|
2021 |
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.