Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. AnyLogic is a multi-method simulation modeling tool developed by XJ Technologies. In the beginning of 1990s there was a big interest in the mathematical approach to modeling and simulation of parallel processes. This approach may be applied to the analysis of correctness of parallel and distributed programs. The Distributed Computer Network (DCN) research group at Saint Petersburg Technical University developed such a software system for the analysis of program correctness; the new tool was named COVERS (Concurrent Verification and Simulation). This system allowed graphical modeling notation for system structure and behavior. The tool was applied for the research granted by Hewlett Packard .
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. AnyLogic is a multi-method simulation modeling tool developed by XJ Technologies. In the beginning of 1990s there was a big interest in the mathematical approach to modeling and simulation of parallel processes. This approach may be applied to the analysis of correctness of parallel and distributed programs. The Distributed Computer Network (DCN) research group at Saint Petersburg Technical University developed such a software system for the analysis of program correctness; the new tool was named COVERS (Concurrent Verification and Simulation). This system allowed graphical modeling notation for system structure and behavior. The tool was applied for the research granted by Hewlett Packard .
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 64 pp. Englisch. Bestandsnummer des Verkäufers 9786133901230
Anzahl: 2 verfügbar
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. AnyLogic is amulti-method simulation modeling tool developed by XJ Technologies. Inthe beginning of 1990s there was a big interest in the mathematicalapproach to modeling and simulation of parallel processes. This approachmay be applied to the analysis of correctness of parallel anddistributed programs. The Distributed Computer Network (DCN) researchgroup at Saint Petersburg Technical University developed such a softwaresystem for the analysis of program correctness; the new tool was namedCOVERS (Concurrent Verification and Simulation). This system allowedgraphical modeling notation for system structure and behavior. The toolwas applied for the research granted by Hewlett Packard .VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 64 pp. Englisch. Bestandsnummer des Verkäufers 9786133901230
Anzahl: 1 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Bestandsnummer des Verkäufers 9786133901230
Anzahl: 2 verfügbar