KOBV Portal

Hits per page

hits 1 - 2 | 2 hits

Sorting

Online Resource

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV (2022)

Margaria, Tiziana ; Steffen, Bernhard

Cham : Springer Nature Switzerland | Cham : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV048541412

Format: 1 Online-Ressource (XIII, 424 p. 126 illus., 98 illus. in color)

Edition: 1st ed. 2022

ISBN: 9783031197628

Series Statement: Lecture Notes in Computer Science 13704

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-031-19761-1

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-031-19763-5

Language: English

Keywords: Konferenzschrift

DOI: 10.1007/978-3-031-19762-8

URL: Volltext (URL des Erstveröffentlichers)

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

FU Berlin

UB Potsdam

HTW Berlin

BTU Cottbus

Book

Leveraging applications of formal methods, verification and validation : 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings; Part 4: Practice (2022)

ISoLA 11. 2022 Rhodos ; Margaria-Steffen, Tiziana 1964-

Cham : Springer

Show associated volumes

add to watchlist on the watchlist

Details

UID:

b3kat_BV048559216

Format: xiii, 424 Seiten , Illustrationen, Diagramme

ISBN: 9783031197611

Series Statement: Lecture notes in computer science 13704

In: 4

Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-031-19762-8

Language: English

Keywords: Konferenzschrift

Author information: Margaria-Steffen, Tiziana 1964-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

hits 1 - 2 | 2 hits

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

Did you mean 9783031097638?

Did you mean 9783030197629?

Did you mean 9783030197728?

Kooperativer Bibliotheksverbund

Berlin Brandenburg