KOBV-Portal

Online-Ressource

Formal methods : 26th International Symposium, FM 2024 Milan, Italy, September 9–13, 2024 : proceedings, part I (2025)

International Symposium on Formal Methods 26. 2024 Mailand ; Platzer, André ; Rozier, Kristin Yvonne ; [weitere]

Cham, Switzerland : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV049878213

Umfang: 1 Online-Ressource

ISBN: 9783031711626

Serie: Lecture notes in computer science 14933

Weitere Ausg.: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-031-71161-9

Sprache: Englisch

Schlagwort(e): Konferenzschrift

DOI: 10.1007/978-3-031-71162-6

URL: Volltext (kostenfrei)

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Volltext

EUV Frankfurt

HTW Berlin

FH Potsdam

BTU Cottbus

Online-Ressource

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I (2025)

Platzer, André. [editor.] ; Rozier, Kristin Yvonne. [editor.] ; Pradella, Matteo. [editor.] ; [weitere]

Cham :Springer Nature Switzerland :

Dazugehörige Titel

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9949880569902882

Umfang: 1 online resource (XXII, 680 p. 166 illus., 113 illus. in color.)

Ausgabe: 1st ed. 2025.

ISBN: 9783031711626 , 3031711629

Serie: Lecture Notes in Computer Science, 14933

Inhalt: This open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. .

Weitere Ausg.: ISBN 9783031711619

Weitere Ausg.: ISBN 3031711610

Sprache: Englisch

DOI: 10.1007/978-3-031-71162-6

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

HU Berlin

FU Berlin

Charité

Online-Ressource

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I (2024)

Platzer, André [VerfasserIn] ; Rozier, Kristin Yvonne [MitwirkendeR] ; Pradella, Matteo [MitwirkendeR] ; [weitere]

Cham : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_1907985956

Umfang: 1 online resource (692 pages)

Ausgabe: 1st ed.

ISBN: 9783031711626

Serie: Lecture Notes in Computer Science Series v.14933

Anmerkung: Description based on publisher supplied metadata and other sources

Weitere Ausg.: ISBN 9783031711619

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783031711619

Sprache: Englisch

Schlagwort(e): Electronic books.

URL: lizenzpflichtig

URL: Click here to view book

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

UB Potsdam

HPol Brandenburg

Online-Ressource

Formal methods : 26th international symposium, FM 2024, Milan, Italy, September 9-13, 2024, proceedings : Part I (2025)

International Symposium of Formal Methods Europe (26th 2024 Milan, Italy) ; Platzer, André [HerausgeberIn] ; Rozier, Kristin Yvonne [HerausgeberIn] ; [weitere]

Cham : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_1916225357

Umfang: 1 Online-Ressource (xxii, 680 pages) , illustrations (some color)

ISBN: 9783031711626

Serie: Lecture notes in computer science 14933

Inhalt: This open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024

Anmerkung: International conference proceedings , Includes author index

Weitere Ausg.: Erscheint auch als ISBN 3031711610

Sprache: Englisch

URL: kostenfrei

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Stabi Berlin

Online-Ressource

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I. (2024)

Platzer, André. ; Rozier, Kristin Yvonne. ; Pradella, Matteo. ; [weitere]

Cham :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9949890642202882

Umfang: 1 online resource (692 pages)

Ausgabe: 1st ed.

ISBN: 9783031711626

Serie: Lecture Notes in Computer Science Series ; v.14933

Weitere Ausg.: Print version: Platzer, André Formal Methods Cham : Springer,c2024 ISBN 9783031711619

Sprache: Englisch

Schlagwort(e): Electronic books.

URL: Click to View

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

HU Berlin

Treffer 1 - 5 | 5 Treffer

Nichts oder nicht das Richtige gefunden? Für eine Suche/Fernleihbestellung aus dem Ausland nutzen Sie das Suche-Set "KOBV-International" im alten KOBV-Portal.

Kooperativer Bibliotheksverbund

Berlin Brandenburg