| products/Sources/formale Sprachen/Cobol/Test-Suite/SQL M/ (NIST Cobol Test-Suite ©) Datei vom 4.1.2008 mit Größe 52 kB |
|
Impressum complete_lower_semilattices.pvsInteraktion undPortierbarkeitPVS |
|||||||||||||||
|
% Author: Alfons Geser (geser@nianet.org), National Institute of Aerospace % Date: Oct 2004 complete_lower_semilattices[ T: TYPE, (IMPORTING bounded_orders[T]) <=: (complete_lower_semilattice?[T]) ]: THEORY BEGIN IMPORTING lower_semilattices[T, <=] every_set_is_greatest_bounded_below: JUDGEMENT set[T] SUBTYPE_OF (greatest_bounded_below?(<=)) END complete_lower_semilattices
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.11Angebot (Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-06-15) ¤*Eine klare Vorstellung vom Zielzustand |
|
||||||||||||||
2026-08-25