Zum Inhalt springen Leavens, Gary T. [HerausgeberIn] ; VSTTE 3 2010 Edinburgh Verified software: theories, tools, experiments : third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer, 2010 Erschienen in: Lecture notes in computer science ; 6217 Meyer, Bertrand [HerausgeberIn]; Woodcock, Jim [AusführendeR] ; VSTTE 1 2005 Zürich Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005 ; revised selected papers and discussions Bücher 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, 2008 Erschienen in: Lecture notes in computer science ; 4171 Shankar, Natarajan [HerausgeberIn]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; VSTTE 2 2008 Toronto Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings Bücher 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, 2008 Erschienen in: Lecture notes in computer science ; 5295 Joshi, Rajeev [HerausgeberIn] ; VSTTE 4 2012 Philadelphia, Pa Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28 - 29, 2012 ; proceedings Bücher 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, 2012 Erschienen in: Lecture notes in computer science ; 7152
Leavens, Gary T. [HerausgeberIn] ; VSTTE 3 2010 Edinburgh Verified software: theories, tools, experiments : third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer, 2010 Erschienen in: Lecture notes in computer science ; 6217
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Meyer, Bertrand [HerausgeberIn]; Woodcock, Jim [AusführendeR] ; VSTTE 1 2005 Zürich Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005 ; revised selected papers and discussions Bücher 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, 2008 Erschienen in: Lecture notes in computer science ; 4171
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Shankar, Natarajan [HerausgeberIn]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; VSTTE 2 2008 Toronto Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings Bücher 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, 2008 Erschienen in: Lecture notes in computer science ; 5295
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Joshi, Rajeev [HerausgeberIn] ; VSTTE 4 2012 Philadelphia, Pa Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28 - 29, 2012 ; proceedings Bücher 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, 2012 Erschienen in: Lecture notes in computer science ; 7152
> 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 (4) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (4) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (4) Wert ausschließen Mathematik (2) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Woodcock, Jim (2) Wert ausschließen Joshi, Rajeev (1) Wert ausschließen Leavens, Gary T. (1) Wert ausschließen Meyer, Bertrand (1) Wert ausschließen Shankar, Natarajan (1) Wert ausschließen VSTTE 1 2005 Zürich (1) Wert ausschließen VSTTE 2 2008 Toronto (1) Wert ausschließen VSTTE 3 2010 Edinburgh (1) Wert ausschließen VSTTE 4 2012 Philadelphia, Pa (1) Wert ausschließen zeige weitere weniger zeigen