Gedichte
Musik
Bilder
Quellcodebibliothek
Diashow
Normaldarstellung
Quellcodebibliothek
Statistik
Leitseite
products
/
Sources
/
formale Sprachen
/
Isabelle
/
Doc
/
Tutorial
/
CTL
/ (
Beweissystem Isabelle
Version 2025-1
©
) Datei vom 16.11.2025 mit Größe 7 kB
Quelle constants.js
Sprache: JAVA
/* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at
http://mozilla.org/MPL/2.0/.
*/
"use strict"
;
const
CONNECTION_TYPES = {
NETWORK:
"network"
,
THIS_FIREFOX:
"this-firefox"
,
UNKNOWN:
"unknown"
,
USB:
"usb"
,
};
const
DEBUG_TARGET_TYPES = {
EXTENSION:
"extension"
,
PROCESS:
"process"
,
TAB:
"tab"
,
WORKER:
"worker"
,
};
module.exports = {
CONNECTION_TYPES,
DEBUG_TARGET_TYPES,
};
Messung V0.5 in Prozent
C=92
H=91
G=91
¤
Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet am 2026-06-07)
¤
*© Formatika GbR, Deutschland
Versionsinformation zu Columbo
Bemerkung:
Beweissystem der NASA
Beweissystem Isabelle
NIST Cobol Testsuite
Cephes Mathematical Library
Wiener Entwicklungsmethode
Anfrage:
Dauer der Verarbeitung:
Sekunden
sprechenden Kalenders
2026-06-09