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. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><br/>Current copyright fee: GBP19.00  42\0. 
<br/><br/><label>ISBN: </label>9783030737856 3030737853 9783030737849 3030737845 
<br/><br/><label>Standard No.: </label>10.1007/978-3-030-73785-6  doi 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>020213105  Uk 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic.<br/>Logic, Symbolic and mathematical.<br/>Computer programming.<br/>Logique informatique.<br/>Programmation (Informatique)<br/>Computer science--Mathematics<br/>Computer software--Development<br/>Formal methods (Computer science)
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Conference papers and proceedings
<br/><br/><label>Dewey Class. No.: </label>005.1015  / R295