Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022. The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from...

Täydet tiedot

Bibliografiset tiedot

Yhteisötekijä:	SpringerLink (Online service)
Muut tekijät:	Madeira, Alexandre (Toimittaja), Martins, Manuel A. (Toimittaja)
Aineistotyyppi:	Elektroninen E-kirja
Kieli:	englanti
Julkaistu:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Painos:	1st ed. 2023.
Sarja:	Lecture Notes in Computer Science, 13710
Aiheet:	Computer science. Machine theory. Computer programming. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Programming Techniques.
Linkit:	https://doi.org/10.1007/978-3-031-43345-0
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!