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

Titel Författare År Språk
21 First IEEE International Conference Conference sic on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997 Japan) 1997 : (1st IEEE International Conference on Formal Engineering Methods Hiroshima-shi uuuu-uuuu Okänt
22 Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia Qld.) 1998 : (2nd IEEE International Conference on Formal Engineering Methods Brisbane uuuu-uuuu Okänt
23 ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000 England) 2000 : (3rd IEEE International Conference on Formal Engineering Methods York uuuu-uuuu Okänt
24 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
25 Formal Methods and Software Engineering International Conference on Formal Engineering Methods 2004 Engelska
26-27 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
28 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
29 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
30 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
31 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
32 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
33 A Tool Integration Language to Formalize Co-simulation Tool-chains for Cyber-physical System (CPS) 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems A satellite event of SEFM2017- 15th International conference on Software Engineering and Formal Methods Lu Jinzhi 2017 Engelska
34 Automatic Derivation of Platform Noninterference Properties 4 July 2016 through 8 July 2016 Austria Vienna STAF 2016 SEFM 2016 Held as Part of Conference on Software Technologies: Applications and Foundations 14th International Conference on Software Engineering and Formal Methods Oliver Schwarz 2016 Engelska

Förra sidan 1 2

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.