KOBV Portal

Online Resource

Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, proceedings (2019)

FMICS 24. 2019 Amsterdam ; Larsen, Kim Guldstrand 1957- ; Willemse, Tim A. C. 1974-

Cham, Switzerland : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV046137446

Format: 1 Online-Ressource (xv, 161 Seiten)

ISBN: 9783030270087

Series Statement: Lecture notes in computer science 11687

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-27007-0

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-27009-4

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Sicherheitskritisches System ; Formale Methode ; Systemanalyse ; Systementwurf ; Softwareentwicklung ; Verifikation ; Konferenzschrift

DOI: 10.1007/978-3-030-27008-7

URL: Volltext (URL des Erstveröffentlichers)

URL: Buchcover

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

HTW Berlin

BTU Cottbus

Online Resource

Formal techniques for distributed objects, components, and systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings (2021)

FORTE 41. 2021 Online ; Peters, Kirstin 1981- ; Willemse, Tim A. C. 1974- ; [et al.]

Cham, Switzerland : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV047389659

Format: 1 Online-Ressource , Illustrationen, Diagramme

ISBN: 9783030780890

Series Statement: Lecture notes in computer science 12719

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-78088-3

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-78090-6

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Software Engineering ; Künstliche Intelligenz ; Mathematische Logik ; Konferenzschrift

DOI: 10.1007/978-3-030-78089-0

URL: Volltext (URL des Erstveröffentlichers)

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

HTW Berlin

BTU Cottbus

Online Resource

FORTE 41. 2021 Online ; Peters, Kirstin 1981- ; Willemse, Tim A. C. 1974- ; [et al.]

Cham, Switzerland :Springer,

add to watchlist on the watchlist

Details

UID:

almafu_BV047389659

Format: 1 Online-Ressource : , Illustrationen, Diagramme.

ISBN: 978-3-030-78089-0

Series Statement: Lecture notes in computer science 12719

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-78088-3

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-78090-6

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Software Engineering ; Künstliche Intelligenz ; Mathematische Logik ; Konferenzschrift

DOI: 10.1007/978-3-030-78089-0

URL: Volltext (URL des Erstveröffentlichers)

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

FU Berlin

Charité

Online Resource

FORTE 41. 2021 Online ; Peters, Kirstin 1981- ; Willemse, Tim A. C. 1974- ; [et al.]

Cham, Switzerland :Springer,

add to watchlist on the watchlist

Details

UID:

edocfu_BV047389659

Format: 1 Online-Ressource : , Illustrationen, Diagramme.

ISBN: 978-3-030-78089-0

Series Statement: Lecture notes in computer science 12719

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-78088-3

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-78090-6

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Software Engineering ; Künstliche Intelligenz ; Mathematische Logik ; Konferenzschrift

DOI: 10.1007/978-3-030-78089-0

URL: Volltext (URL des Erstveröffentlichers)

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

FU Berlin

Online Resource

FORTE 41. 2021 Online ; Peters, Kirstin 1981- ; Willemse, Tim A. C. 1974- ; [et al.]

Cham, Switzerland :Springer,

add to watchlist on the watchlist

Details

UID:

edoccha_BV047389659

Format: 1 Online-Ressource : , Illustrationen, Diagramme.

ISBN: 978-3-030-78089-0

Series Statement: Lecture notes in computer science 12719

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-78088-3

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-78090-6

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Software Engineering ; Künstliche Intelligenz ; Mathematische Logik ; Konferenzschrift

DOI: 10.1007/978-3-030-78089-0

URL: Volltext (URL des Erstveröffentlichers)

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Charité

Book

Software engineering and formal methods : 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings (2023)

International Conference on Software Engineering and Formal Methods 21. 2023 Eindhoven ; Ferreira, Carla ; Willemse, Tim A. C. 1974-

Cham : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV049476685

Format: xii, 378 Seiten , Illustrationen, Diagramme

ISBN: 9783031471148

Series Statement: Lecture notes in computer science 14323

Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-031-47115-5

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

hits 1 - 6 | 6 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg