Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /
Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / [electronic resource] :
edited by Markus Roggenbach.
- 1st ed. 2021.
- IX, 165 p. 38 illus., 8 illus. in color. online resource.
- Theoretical Computer Science and General Issues ; 12669 .
- LNCS sublibrary. SL 1, Theoretical computer science and general issues ; 12669. .
Includes bibliographical references and index.
Current copyright fee: GBP19.00 42\0.
9783030737856 3030737853 9783030737849 3030737845
10.1007/978-3-030-73785-6 doi
020213105 Uk
Computer logic.
Logic, Symbolic and mathematical.
Computer programming.
Logique informatique.
Programmation (Informatique)
Computer science--Mathematics
Computer software--Development
Formal methods (Computer science)
Conference papers and proceedings
005.1015 / R295
Includes bibliographical references and index.
Current copyright fee: GBP19.00 42\0.
9783030737856 3030737853 9783030737849 3030737845
10.1007/978-3-030-73785-6 doi
020213105 Uk
Computer logic.
Logic, Symbolic and mathematical.
Computer programming.
Logique informatique.
Programmation (Informatique)
Computer science--Mathematics
Computer software--Development
Formal methods (Computer science)
Conference papers and proceedings
005.1015 / R295