- Hauptmenü-

Katalogdatenanzeige

Mathematical methods of specification and synthesis of software systems '85: proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22 - 26, 1985

Exemplarinformationen Katalogdatensatz500027710 .
Kataloginformation Katalogdatensatz500027710 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	eng
Name	Bibel, Wolfgang ¬[Hrsg.]¬
Name	Jantke, Klaus P. ¬[Hrsg.]¬
ANZEIGE DER KETTE	Jantke, Klaus P. ¬[Hrsg.]¬
Körperschaft	Workshop on Mathematical Methods of Specification and Synthesis of Software Systems <1985, Wendisch Rietz>
T I T E L	Mathematical methods of specification and synthesis of software systems '85
Zusatz zum Titel	proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22 - 26, 1985
Verlagsort	Berlin
Verlag	Akademie-Verlag
Erscheinungsjahr	c 1986
Erscheinungsjahr	1986
Umfang	245 S. : graph. Darst.
Format	24 cm
Reihe	Mathematical research ; 31
Reihe	Mathematical research
Band	31
Notiz / Fußnoten	Literaturangaben
ISBN	ISBN 3-05-500018-8 : DM 32.00 (kart.)
Klassifikation	28
	SS 4800
	SD 1985
1. Schlagwortkette	Softwareentwicklung
1. Schlagwortkette	Kongress
1. Schlagwortkette ANZEIGE DER KETTE	Softwareentwicklung -- Kongress
2. Schlagwortkette	Softwareentwicklung
2. Schlagwortkette	Mathematik
ANZEIGE DER KETTE	Softwareentwicklung -- Mathematik
3. Schlagwortkette	Softwaresystem
	Synthese
	Mathematische Methode
ANZEIGE DER KETTE	Softwaresystem -- Synthese -- Mathematische Methode
4. Schlagwortkette	Softwarespezifikation
4. Schlagwortkette	Mathematische Methode
ANZEIGE DER KETTE	Softwarespezifikation -- Mathematische Methode
5. Schlagwortkette	Softwareentwicklung
ANZEIGE DER KETTE	Softwareentwicklung
6. Schlagwortkette	Programmverifikation
ANZEIGE DER KETTE	Programmverifikation
7. Schlagwortkette	Softwarespezifikation
ANZEIGE DER KETTE	Softwarespezifikation
SWB-Titel-Idn	035795565
Signatur	21 713
Signatur	SS 4800 B581
Bemerkungen	gro

ISBD-Anzeige Katalogdatensatz500027710

Kategorien-Anzeige Katalogdatensatz500027710

Bände anzeigen Katalogdatensatz500027710

Titel zur Titelsammlung hinzufügen Katalogdatensatz500027710

Kataloginformation500027710 Datensatzanfang . Kataloginformation500027710 Seitenanfang .

Exemplarinformationen
Barcode	Regalstandort	Literaturabteilung	Bandzählg.	Zweigstelle	Status	Fälligkeitsdat.
00117038	21 713/1	Magazin		Hauptbibliothek .	. Verfügbar .

Titel vormerken Katalogdatensatz500027710

. Katalogdatensatz500027710 ItemInfo Datensatzanfang . Katalogdatensatz500027710 ItemInfo Seitenanfang .

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.