The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /

This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to academia...

Olles dieđut

Bibliográfalaš dieđut

Searvvušdahkki:	SpringerLink (Online service)
Eará dahkkit:	Cavalcanti, Ana (Doaimmaheaddji), Baxter, James (Doaimmaheaddji)
Materiálatiipa:	Elektrovnnalaš E-girji
Giella:	eaŋgalasgiella
Almmustuhtton:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Preanttus:	1st ed. 2024.
Ráidu:	Lecture Notes in Computer Science, 14781
Fáttát:	Machine theory. Programming languages (Electronic computers). Formal Languages and Automata Theory. Programming Language.
Liŋkkat:	https://doi.org/10.1007/978-3-031-66673-5
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!