Advanced Search

Query:

Fill in the form and click »Search«...

Format:

Display: entries per page entries

Zbl 0591.68012
Horn, Christian
Bericht über die Spezifikationssprache ABSTRACT-PASCAL. (German)
[J R] Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 77, 78 S. (1985). ISSN 0863-0968

ABSTRACT-PASCAL ist eine Spezifikationssprache mit Breitbandcharakter, die speziell für Belange der Ausbildung entwickelt wurde und das volle Standard-PASCAL unterstützt. Die syntaktischen und semantischen Konzepte sind eng an PASCAL angelehnt und erlauben eine mathematisch orientierte Dokumentation aller Stufen des Entwurfsprozesses von der globalen Spezifikation bis hin zu lokalen Entwurfsentscheidungen.

MSC 2000:: *68N01 General
68P05 Data structures

Keywords: specification language; ABSTRACT-PASCAL

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Advanced Search

Zentralblatt MATH Berlin [Germany]