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: International Conference on Formal Engineering Methods 42 träffar

Titel Författare År Språk
21 Formal Methods and Software Engineering electronic resource : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings / edited by Jin Song Dong, Huibiao Zhu China) 2010 : (12th International Conference on Formal Engineering Methods Shanghai uuuu-uuuu Okänt
22 Formal Methods and Software Engineering electronic resource : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / edited by Chris George, Huaikou Miao China) International Conference on Formal Engineering Methods Shanghai uuuu-uuuu Okänt
23 Formal Methods and Software Engineering electronic resource : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / edited by Jin Song Dong, Jim Woodcock International Conference on Formal Engineering Methods Singapore) 2003 : (5th uuuu-uuuu Okänt
24-25 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods : 10-14 November 2008 (flera utgåvor) South Africa) 2008 : (6th International Conference on Software Engineering and Formal Methods Cape Town uuuu-uuuu Okänt
26-27 SEFM 2007 : Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England (flera utgåvor) England) 2007 : (5th International Conference on Software Engineering and Formal Methods London uuuu-uuuu Okänt
28 Software Engineering and Formal Methods electronic resource : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings / edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider Uruguay) 2011 : (9th International Conference on Software Engineering and Formal Methods Montevideo uuuu-uuuu Okänt
29 Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India India) 2006 : (4th International Conference on Software Engineering and Formal Methods Pune uuuu-uuuu Okänt
30 "Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings" International Conference on Software Engineering and Formal Methods 2012 Okänt
31 Software Engineering and Formal Methods electronic resource : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / edited by George Eleftherakis, Mike Hinchey, Mike Holcombe Greece) 2012 : (10th International Conference on Software Engineering and Formal Methods Thessalonikē uuuu-uuuu Okänt
32 Software engineering and formal methods. - 21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings Netherlands) International Conference on Software Engineering and Formal Methods 2023 : Eindhoven 2023 Engelska
33 Formal Methods and Software Engineering International Conference on Formal Engineering Methods 2004 Engelska
34-35 Formal methods and software engineering - 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings (flera utgåvor) International Conference on Formal Engineering Methods 2002 : Shanghai) 2003 Engelska
36 Formal methods and software engineering. - 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings International Conference on Formal Engineering Methods 2003 : Singapore) 2003 Engelska
37 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
38 Formalizing a secure foreign function interface UK York September 7–11 13th International Conference on Software Engineering and Formal Methods (SEFM) Adriaan Larmuseau 2015 Engelska
39 Broadcast Psi-calculi with an Application to Wireless Protocols Uruguay Montevideo 2011 November 14-18 9th International Conference on Software Engineering and Formal Methods Johannes Borgström 2011 Engelska
40 Early Fault Detection in DSLs using SMT Solving and Automated Debugging 2013 25-27 September Spain Madrid SEFM 2013 11th International Conference on Software Engineering and Formal Methods Sarmen Keshishzadeh 2013 Engelska

Förra sidan 1 2 3 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.