The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successful career in academia with outstanding industry research, in particular he has been a pioneer in...

Descrizione completa

Dettagli Bibliografici

Ente Autore:	SpringerLink (Online service)
Altri autori:	Foster, Simon (Redattore), Sampaio, Augusto (Redattore)
Natura:	Elettronico eBook
Lingua:	inglese
Pubblicazione:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edizione:	1st ed. 2024.
Serie:	Lecture Notes in Computer Science, 14900
Soggetti:	Machine theory. Programming languages (Electronic computers). Software engineering. Formal Languages and Automata Theory. Programming Language. Software Engineering.
Accesso online:	https://doi.org/10.1007/978-3-031-67114-2
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!