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: Stefania Gnesi 23 träffar

Titel Författare År Språk
1 Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings Stefania Gnesi 2014 Okänt
2 FME 2003. - formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings Italy) International Symposium of Formal Methods Europe 2003 : Pisa 2003 Engelska
3 Proceedings of the First International Workshop on Formal Methods in Software Engineering Rigorous and Agile Approaches Stefania Gnesi uuuu-uuuu Okänt
4 Proceedings of the 18th International Software Product Line Conference Companion Volume for Workshops, Demonstrations and Tools - Volume 2 Stefania Gnesi uuuu-uuuu Okänt
5 Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings Stefania. Gnesi 2014 Engelska
6-7 Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems (flera utgåvor) Stefania Gnesi uuuu-uuuu Okänt
8 Formal methods for industrial critical systems - a survey of applications 2012 Engelska
9 Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings John. Derrick 2012 Engelska
10 Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings John. Derrick 2012 Engelska
11 Proceedings of the 18th International Software Product Line Conference - Volume 1 Stefania Gnesi uuuu-uuuu Okänt
12 Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings 2016 Engelska
13 Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering Stefania Gnesi uuuu-uuuu Okänt
14 FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings 2016 Engelska
15 Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models Predrag Filipovikj 2017 Engelska
16 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) Stefania Gnesi uuuu-uuuu Okänt
17 2nd FME Workshop on Formal Methods in Software Engineering : proceedings : June 3, 2014, Hyderabad, India Stefania Gnesi uuuu-uuuu Okänt
18 FME 2003: Formal Methods - International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings Italy) International Symposium of Formal Methods Europe 2003 : Pisa 2003 Engelska
19 Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings John Derrick 2012 Okänt
20 Integrated Formal Methods John Derrick 2012 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.