Result: The Application of Formal Methods

*Title*:

The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement / edited by Simon Foster, Augusto Sampaio

*Author/editor-in-chief*:

*Edition*:

1st ed. 2024

*Publication*:

Cham : Springer Nature Switzerland, 2024

*Distribution*:

Cham : Springer International Publishing AG

*Physical description scale*:

1 Online-Ressource (XIV, 375 Seiten) : 94 illus., 65 illus. in color.

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Lecture Notes in Computer Science, ISSN 1611-3349 ; 14900

*Other edition entry*:

Erscheint auch als Druck-Ausgabe: The Application of Formal Methods. - Cham : Springer Nature Switzerland, 2024. - ISBN 9783031671135

*ISBN*:

9783031671142 ; 3031671147 ; 9783031671135 (Sekundärausgabe) ; 9783031671159 (Sekundärausgabe)

*DOI*:

10.1007/978-3-031-67114-2

*Result*: The Application of Formal Methods