Zum Inhalt springen Meyer, Bertrand [HerausgeberIn] ; LASER Summer School on Software Engineering 2008 - 2010 Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy; revised tutorial lectures 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 ; 7007 Zwiers, Job [VerfasserIn] Compositionality, Concurrency, and Partial Correctness : Proof Theories for Networks of Processes, and Their Relationship Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen 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, 1989 Erschienen in: Lecture notes in computer science ; 321 Miserez, Jérémie [VerfasserIn] Detecting Concurrency Violations in Software-Defined Networks Elektronische Ressourcen Online ansehen Schließen > Links https://hdl.handle.net/20.500.11850/155098 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. ETH Zürich, 2015 Zwiers, Job [VerfasserIn] Compositionality, concurrency and partial correctness : proof theories for networks of processes and their relationship Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin [u.a.]: Springer, 1989 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006 Erschienen in: Lecture notes in computer science ; 32100 Meyer, Bertrand [VerfasserIn] ; Nordio, Martin [Sonstige Person, Familie und Körperschaft] Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen 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, 2012 Erschienen in: Lecture notes in computer science ; 7007
Meyer, Bertrand [HerausgeberIn] ; LASER Summer School on Software Engineering 2008 - 2010 Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy; revised tutorial lectures 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 ; 7007
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Zwiers, Job [VerfasserIn] Compositionality, Concurrency, and Partial Correctness : Proof Theories for Networks of Processes, and Their Relationship Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen 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, 1989 Erschienen in: Lecture notes in computer science ; 321
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Miserez, Jérémie [VerfasserIn] Detecting Concurrency Violations in Software-Defined Networks Elektronische Ressourcen Online ansehen Schließen > Links https://hdl.handle.net/20.500.11850/155098 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. ETH Zürich, 2015
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Zwiers, Job [VerfasserIn] Compositionality, concurrency and partial correctness : proof theories for networks of processes and their relationship Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin [u.a.]: Springer, 1989 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006 Erschienen in: Lecture notes in computer science ; 32100
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Meyer, Bertrand [VerfasserIn] ; Nordio, Martin [Sonstige Person, Familie und Körperschaft] Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen 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, 2012 Erschienen in: Lecture notes in computer science ; 7007
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Bücher (4) Wert ausschließen Elektronische Ressourcen (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (1) Wert ausschließen Ohne Angabe (3) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Meyer, Bertrand (2) Wert ausschließen Zwiers, Job (2) Wert ausschließen LASER Summer School on Software Engineering 2008 - 2010 (1) Wert ausschließen Miserez, Jérémie (1) Wert ausschließen Nordio, Martin (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Verbunddaten SWB (4) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen ETH Zürich Research Collection (1) Wert ausschließen zeige weitere weniger zeigen