KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

FOSSACS 23. 2020 Online ; Goubault-Larrecq, Jean ; König, Barbara ; [et al.]

Cham, Switzerland :Springer Open,

add to watchlist on the watchlist

Details

UID:

edocfu_BV046705713

Format: 1 Online-Ressource.

ISBN: 978-3-030-45231-5

Series Statement: Lecture notes in computer science 12077

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

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Theoretische Informatik ; Software Engineering ; Programmiersprache ; Programmierlogik ; Formale Methode ; Konferenzschrift

DOI: 10.1007/978-3-030-45231-5

URL: Volltext (kostenfrei)

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

FU Berlin

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund