Mühlhäuser, Max: Software Engineering für verteilte Anwendungen
: Mechanismen und Werkzeuge / Mühlhäuser ; Schill. - Berlin : Springer, 1992. - XVII, 402 S.; 24 cm
ISBN 978-3-540-55412-7 / 3-540-55412-2 kart. : DM 78.00
Lilteraturverz. S. 365 - 384
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
Bieler, Frank: Spezifikationsbasiertes Testen verteilter Systeme
/ Frank Bieler. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1994. - XI, 205 S. - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 231)
ISBN 978-3-486-23048-2 / 3-486-23048-4 kart. : ca. DM 57.00
Quelle: DNB
SPS-Standard: IEC 1131
: Programmierung in verteilten Automatisierungssystemen / von Peter Neumann ... Vorw. von J. v. Bekkum. - München : Oldenbourg, 1995. - 350 S. : graph. Darst.; 24 cm
ISBN 978-3-486-23348-3 / 3-486-23348-3 kart. : DM 89.00
Literaturverz. S. 325 - 330
Quelle: DNB
SPS-Standard: IEC 1131
: Programmierung in verteilten Automatisierungssystemen / von Peter Neumann ... Vorw. von J. v. Bekkum. - 2., durchges. und korr. Aufl. - München : Oldenbourg, 1998. - 344 S.; 24 cm
ISBN 978-3-486-24153-2 / 3-486-24153-2 kart. : DM 96.00, sfr 83.00, S 701.00
Literaturverz. S. 321 - 326
Quelle: DNB
Stabilization, safety, and security of distributed systems
: 8th international symposium ; proceedings / SSS 2006, Dallas, TX, USA, November 17 - 19, 2006. Ajoy K. Datta ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4280)
ISBN 978-3-540-49823-0
Lizenzpflichtig
Quelle: DNB
Stabilization, safety, and security of distributed systems
: 10th international symposium ; proceedings / SSS 2008, Detroit, MI, USA, November 21 - 23, 2008. Sandeep Kulkarni ; André Schiper (ed.). - Berlin : Springer, 2008. - X, 264 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5340)
ISBN 978-3-540-89334-9 kart. : EUR 49.17 (freier Pr.), sfr 76.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Structural information and communication complexity
: 15th international colloquium ; proceedings / SIROCCO 2008, Villars-sur-Ollon, Switzerland, June 17 - 20, 2008. Alexander A. Shvartsman ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5058)
ISBN 978-3-540-69355-0
Lizenzpflichtig
Quelle: DNB
Structural information and communication complexity
: 13th international colloquium ; proceedings / SIROCCO 2006, Chester, UK, July 2 - 5, 2006. Paola Flocchini ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4056)
ISBN 978-3-540-35475-8
Lizenzpflichtig
Quelle: DNB
Structural information and communication complexity
: 12th international colloquium ; proceedings / SIROCCO 2005, Mont Saint-Michel, France, May 24 - 26, 2005. Andrzej Pelc ; Michel Raynal (ed.). - Berlin : Springer***5108985, 2005. - X, 322 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3499)
ISBN 978-3-540-26052-3 / 3-540-26052-8 kart. : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
