Zum Inhalt springen Simao, Adenilso [Herausgeber:in]; Morgan, Carroll [Sonstige Person, Familie und Körperschaft] ; SBMF 14 2011 São Paulo Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 2011 ; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 7021 Davies, Jim [Herausgeber:in]; Silva, Leila [Sonstige Person, Familie und Körperschaft]; Simao, Adenilso [Sonstige Person, Familie und Körperschaft] ; Brazilian Symposium on Formal Methods 13 2010 Natal, Rio Grande do Norte Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 ; revised selected papers Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6527 Gheyi, Rohit [Verfasser:in] ; Naumann, David [Sonstige Person, Familie und Körperschaft] Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer, 2012 Erschienen in: Lecture notes in computer science ; 7498 Ribeiro, Leila [Herausgeber:in]; Lecomte, Thierry [Herausgeber:in] Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2016 Erschienen in: Lecture notes in computer science ; 10090 Davies, Jim [Verfasser:in] ; Silva, Leila [Herausgeber:in]; Simão, Adenilso [Herausgeber:in] Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Erschienen in: Lecture notes in computer science ; 6527 Simão, Adenilso [Verfasser:in] ; Morgan, Carroll [Sonstige Person, Familie und Körperschaft] Formal Methods, Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Erschienen in: Lecture notes in computer science ; 7021
Simao, Adenilso [Herausgeber:in]; Morgan, Carroll [Sonstige Person, Familie und Körperschaft] ; SBMF 14 2011 São Paulo Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 2011 ; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 7021
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Davies, Jim [Herausgeber:in]; Silva, Leila [Sonstige Person, Familie und Körperschaft]; Simao, Adenilso [Sonstige Person, Familie und Körperschaft] ; Brazilian Symposium on Formal Methods 13 2010 Natal, Rio Grande do Norte Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 ; revised selected papers Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6527
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Gheyi, Rohit [Verfasser:in] ; Naumann, David [Sonstige Person, Familie und Körperschaft] Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer, 2012 Erschienen in: Lecture notes in computer science ; 7498
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ribeiro, Leila [Herausgeber:in]; Lecomte, Thierry [Herausgeber:in] Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2016 Erschienen in: Lecture notes in computer science ; 10090
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Davies, Jim [Verfasser:in] ; Silva, Leila [Herausgeber:in]; Simão, Adenilso [Herausgeber:in] Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Erschienen in: Lecture notes in computer science ; 6527
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Simão, Adenilso [Verfasser:in] ; Morgan, Carroll [Sonstige Person, Familie und Körperschaft] Formal Methods, Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Erschienen in: Lecture notes in computer science ; 7021
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Magazinbestellung (2) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (2) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Davies, Jim (2) Wert ausschließen Morgan, Carroll (2) Wert ausschließen Silva, Leila (2) Wert ausschließen Simao, Adenilso (2) Wert ausschließen Simão, Adenilso (2) Wert ausschließen Brazilian Symposium on Formal Methods 13 2010 Natal, Rio Grande do Norte (1) Wert ausschließen Gheyi, Rohit (1) Wert ausschließen Lecomte, Thierry (1) Wert ausschließen Naumann, David (1) Wert ausschließen Ribeiro, Leila (1) Wert ausschließen SBMF 14 2011 São Paulo (1) Wert ausschließen zeige weitere weniger zeigen