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 24 träffar

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