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: Martina. Seidl
11 träffar
|
Titel |
Författare |
År |
Språk |
1 |
Modbat - A Model-based API Tester for Event-driven Systems
|
9th Haifa Verification Conference (HVC 2013) Cyrille Artho
|
2013 |
Engelska |
2 |
Model-based Testing of Stateful APIs with Modbat
|
30th Int. Conf. on Automated Software Engineering (ASE 2015) Cyrille Artho
|
2015 |
Engelska |
3 |
Model-Based Testing for Verification Backends
|
7th Int. Conf. on Tests & Proofs (TAP 2013) Armin Biere
|
2013 |
Engelska |
4 |
Tests and Proofs
|
Martina Seidl
|
2014 |
Okänt |
5 |
UML @ Classroom electronic resource : An Introduction to Object-Oriented Modeling / by Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel
|
Martina. author. Seidl
|
uuuu-uuuu |
Okänt |
6 |
Tests and Proofs - 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings
|
Martina. Seidl
|
2014 |
Engelska |
7-8 |
UML @ Classroom - An Introduction to Object-Oriented Modeling
(flera utgåvor)
|
Martina. Seidl
|
2015 |
Engelska |
9 |
UML @ Classroom : An Introduction to Object-Oriented Modeling
|
Martina Seidl
|
2015 |
Okänt |
10 |
UML @ Classroom electronic resource : eine Einführung in die objektorientierte Modellierung / Martina Seidl ... et al.
|
Martina Seidl
|
uuuu-uuuu |
Okänt |
11 |
Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
|
|
2018 |
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.