Riepe, Bernd: Integrierte Produktstrukturmodellierung in den frühen Phasen der Produktentstehung
: eine Methode zur Modularisierung variantenreicher mechatronischer Produkte / Bernd Riepe. - Norderstedt : Books on Demand GmbH, 2003. - IV, 317 S. : Ill., graph. Darst.; 22 cm
ISBN 978-3-8334-0141-1 / 3-8334-0141-9 kart : EUR 17.80
Quelle: DNB Verlagsmeldungen
Recent trends in data type specification
: selected papers / 11th Workshop on Specification of Abstract Data Types joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995. Magne Haveraaen ... (ed.). - Berlin : Springer, 1996. - VIII, 550 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1130)
ISBN 978-3-540-61629-0 / 3-540-61629-2 kart. : DM 110.00
Literaturangaben
Quelle: DNB
Recent trends in data type specification
: selected papers / 9th Workshop on Specification of Abstract Data Types joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Hartmut Ehrig ; Fernando Orejas (ed.). - Berlin : Springer, 1994. - VIII, 350 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 785)
ISBN 978-3-540-57867-3 / 3-540-57867-6 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Recent trends in data type specification
: selected papers / 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30 - June 3, 1994. Egidio Astesiano ... (ed.). - Berlin : Springer, 1995. - VIII, 523 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 906)
ISBN 978-3-540-59132-0 / 3-540-59132-X kart. : DM 102.00
Literaturangaben
Quelle: DNB
Recent trends in data type specification
: proceedings / 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 - 20, 1990. H. Ehrig ... (ed.). - Berlin : Springer, 1991. - VIII, 379 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 534)
ISBN 978-3-540-54496-8 / 3-540-54496-8 kart. : DM 55.00
Literaturangaben
Quelle: DNB
Recent trends in data type specification
: selected papers / 8th Workshop on Specification of Abstract Data Types joint with the 3rd Compass Workshop, Dourdan, France, August 26 - 30, 1991. M. Bidoit ; C. Choppy (ed.). - Berlin : Springer, 1993. - X, 344 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 655)
ISBN 978-3-540-56379-2 / 3-540-56379-2 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Bauer, Günther: Softwaremanagement
: Analyse und Entwurf / von Günther Bauer. - Heidelberg : Spektrum, Akad. Verl., 1995. - VIII, 210 S. : graph. Darst.; 24 cm
ISBN 978-3-86025-980-1 / 3-86025-980-6 kart. : DM 39.00
Quelle: DNB
Janicki, Ryszard: Specification and analysis of concurrent systems
: the COSY approach / Ryszard Janicki ; Peter E. Lauer. - Berlin : Springer, 1992. - XII, 480 S. : graph. Darst.; 25 cm - (EATCS monographs on theoretical computer sciences; Vol. 26)
ISBN 978-3-540-55204-8 / 3-540-55204-9 Pp. : DM 128.00
Literaturverz. S. 407 - 422
Quelle: DNB
Koymans, Ronald L.: Specifying message passing and time critical systems with temporal logic
/ Ron Koymans. - Berlin : Springer, 1992. - VIII, 164 S.; 24 cm - (Lecture notes in computer science; Vol. 651)
ISBN 978-3-540-56283-2 / 3-540-56283-4 kart. : DM 46.00
Literaturverz. S. 151 - 161
Quelle: DNB
Brüggemann, Hans Hermann: Spezifikation von objektorientierten Rechten
: Erlaubnisse, Verbote, Klassenhierarchien, Prioritäten / Hans H. Brüggemann. Mit einem Geleitw. hrsg. von Andreas Pfitzmann. - Braunschweig : Vieweg, 1997. - XIV, 139 S. : graph. Darst.; 21 cm - (DuD-Fachbeiträge)
ISBN 978-3-528-05585-1 / 3-528-05585-5 kart. : DM 88.00
Quelle: DNB
