KOBV-Portal

Online-Ressource

Formal Methods for Software Engineering : Languages, Methods, Application Domains (2022)

Roggenbach, Markus ; Cerone, Antonio ; Schlingloff, Bernd-Holger ; [weitere]

Cham :Springer International Publishing, | Cham :Springer.

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almafu_BV048307167

Umfang: 1 Online-Ressource (XXVIII, 524 p. 47 illus., 12 illus. in color).

Ausgabe: 1st ed. 2022

ISBN: 978-3-030-38800-3

Serie: Texts in Theoretical Computer Science. An EATCS Series

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-38799-0

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-38801-0

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-38802-7

Sprache: Englisch

Fachgebiete: Informatik

RVK:

ST 230

DOI: 10.1007/978-3-030-38800-3

URL: Volltext (URL des Erstveröffentlichers)

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

FU Berlin

HTW Berlin

Charité

BTU Cottbus

Mikrofilm

Vierzehnhundertundsiebenzig bürgerliche Wappen (1916)

Seyler, Gustav A. [Hrsg.] 1846-1935 ; Siebmacher, Johann 1561-1612 ; Hefner, Otto Titan von 1827-1870

Nürnberg : Bauer und Raspe | Nürnberg : Raspe

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_303038799

Umfang: 96 S., 100 Taf. , Ill.

Ausgabe: Mikrofiche-Ausg. Erlangen Fischer 1998 3 Mikrofiches

Serie: Die Siebmacherschen Wappenbücher : der "alte" Siebmacher (XVIII Teile) und der "neue" Siebmacher (101 Bände), neu zusammengeführt und alphabetisch geordnet Fiche 60-62 = Abt. 10

Sprache: Deutsch

Mehr zum Autor: Hefner, Otto Titan von 1827-1870

Mehr zum Autor: Siebmacher, Johann 1561-1612

Mehr zum Autor: Seyler, Gustav A. 1846-1935

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Mikrofilm

Fernleihwunsch

Stabi Berlin

Buch

Formal methods for software engineering : Languages, methods, application domains (2022)

Roggenbach, Markus. ; Cerone, Antonio. ; Schlingloff, Bernd-Holger, 1959- ; [weitere]

Cham :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_BV048630956

Umfang: xxviii, 524 Seiten : , Illustrationen (teilweise farbig).

ISBN: 978-3-030-38799-0

Serie: Texts in theoretical computer science : an EATCS series

Weitere Ausg.: Erscheint auch als Online-Ausgabe ISBN 978-3-030-38800-3

Sprache: Englisch

Fachgebiete: Informatik

RVK:

ST 230

Mehr zum Autor: Cerone, Antonio.

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

HU Berlin

Online-Ressource

Formal Methods for Software Engineering : Languages, Methods, Application Domains (2022)

Roggenbach, Markus ; Cerone, Antonio ; Schlingloff, Bernd-Holger ; [weitere]

Cham :Springer International Publishing, | Cham :Springer.

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

edoccha_BV048307167

Umfang: 1 Online-Ressource (XXVIII, 524 p. 47 illus., 12 illus. in color).

Ausgabe: 1st ed. 2022

ISBN: 978-3-030-38800-3

Serie: Texts in Theoretical Computer Science. An EATCS Series

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-38799-0

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-38801-0

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-38802-7

Sprache: Englisch

Fachgebiete: Informatik

RVK:

ST 230

DOI: 10.1007/978-3-030-38800-3

URL: Volltext (URL des Erstveröffentlichers)

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

Charité

Online-Ressource

Formal Methods for Software Engineering : Languages, Methods, Application Domains (2022)

Roggenbach, Markus ; Cerone, Antonio ; Schlingloff, Bernd-Holger ; [weitere]

Cham :Springer International Publishing, | Cham :Springer.

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

edocfu_BV048307167

Umfang: 1 Online-Ressource (XXVIII, 524 p. 47 illus., 12 illus. in color).

Ausgabe: 1st ed. 2022

ISBN: 978-3-030-38800-3

Serie: Texts in Theoretical Computer Science. An EATCS Series

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-38799-0

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-38801-0

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-38802-7

Sprache: Englisch

Fachgebiete: Informatik

RVK:

ST 230

DOI: 10.1007/978-3-030-38800-3

URL: Volltext (URL des Erstveröffentlichers)

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

FU Berlin

Treffer 1 - 5 | 5 Treffer

Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.

Kooperativer Bibliotheksverbund

Berlin Brandenburg