Computer Science Logic
14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Peter G. Clote
Themen in »Computer Science Logic«
Automat Constraint automated deduction complexity computer formal specification formal verification logic model checking proving theorem proving verification
Stimmen zu »Computer Science Logic«
Details
ISBN: 9783540446224
Verlag: Springer Berlin
Erscheinung: 29.06.2003