Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Pearson Education, Limited, 1997
ISBN 10: 0137439806ISBN 13: 9780137439805
Anbieter: Better World Books, Mishawaka, IN, USA
Buch
Zustand: Very Good. Har/Com. Used book that is in excellent condition. May show signs of wear or have minor defects.
Verlag: Prentice Hall, 1997
ISBN 10: 0137439806ISBN 13: 9780137439805
Anbieter: Books From California, Simi Valley, CA, USA
Buch
hardcover. Zustand: Good. General shelf wear. Pages are clean.
Verlag: Springer Berlin Heidelberg, 1991
ISBN 10: 3540545468ISBN 13: 9783540545460
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Das Buch behandelt die Spezifikation von Directory-Systemenunter Anwendung von Konzepten der logischen Programmierung.Ausgehend von der Definition derArchitektur einesDirectory-Systems wird eine Spezifikationsmethode zurBeschreibung solcher Architekturen vorgestellt. AlsSpezifikationssprache dient die Sprache derHornklausel-Logik, erweitert um Negation. Im Buch werdeneine von D.B. Terry bei Xerox PARC entworfene Architekturund ein Ausschnitt aus der Architektur des internationalenStandards f}r Directory-Systeme (X.500) spezifiziert. Daranlassen sich die Vorteile der vorgeschlagenen Methodeaufzeigen: Die Spezifikationen sind kompakt, gut lesbar undbesitzen eine deklarative und eine prozedurale Semantik.Die erstellten Spezifikationen lassen sich auf einemProlog-System ausf}hren. Die Ausf}hrbarkeit derSpezifikationen erweist sich als vielseitig anwendbareEigenschaft, welche beispielsweise die Simulation einesDirectory-Systems bei gegebener Konfiguration erm|glichtoder die ]berpr}fung (Verifikation, Validierung) einerSpezifikation erleichtert.
Verlag: Springer Berlin Heidelberg, 1999
ISBN 10: 3540665986ISBN 13: 9783540665984
Anbieter: moluna, Greven, Deutschland
Buch
Kartoniert / Broschiert. Zustand: New.
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 3540756930ISBN 13: 9783540756934
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New. This book constitutes the refereed proceedings of the 18th IFIP/IEEE International Workshop on Distributed Systems, Operations and Management, DSOM 2007, held in the course of the 3rd International Week on Management of Networks and Services, Manweek 200.
Verlag: W. Kohlhammer GmbH, 2007
ISBN 10: 3170158058ISBN 13: 9783170158054
Anbieter: Studibuch, Stuttgart, Deutschland
Buch
hardcover. Zustand: Gut. 370 Seiten; 9783170158054.3 Sprache: Deutsch Gewicht in Gramm: 2.
Verlag: St. Gallen : HEV Verwaltungs-AG, 2001
ISBN 10: 3952218006ISBN 13: 9783952218006
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Buch
Broschiert. Zustand: Gut. XXVI, 221 S. : graph. Darst. ; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 610.
Verlag: Travel House Media
ISBN 10: 383422135XISBN 13: 9783834221353
Anbieter: AHA-BUCH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Gebraucht. Gebraucht - Sehr gut SG - leichte Beschädigungen oder Verschmutzungen, ungelesenes Mängelexemplar, gestempelt, Versand Büchersendung.