Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/automata/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 30.7.2024 mit Größe 514 B image not shown  

Quelle  LICENSE   Sprache: Text

 
The Automata package is Copyright CMUP, Universidade do Porto, Portugal
and Centre for Interdisciplinary Research in Computational Algebra,
University of St. Andrews, Scotland, 2004--2007.

Automata is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version. For details, see the file GPL in this package or https://www.gnu.org/licenses/gpl.html


¤ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.