Suchergebnisse für Partial Order Reduction: Computer Science, State Transition...
Beispielbild für diese ISBN
Partial Order Reduction
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 96 pp. Englisch. Bestandsnummer des Verkäufers 9786133352698
Neu kaufen
EUR 136,00
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Partial Order Reduction | Computer Science, State Transition System, Model Checking
Print-on-DemandAnbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Partial Order Reduction | Computer Science, State Transition System, Model Checking | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133352698 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand. Bestandsnummer des Verkäufers 134901585
Neu kaufen
EUR 109,85
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Partial Order Reduction
Print-on-DemandAnbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. In computerscience, partial order reduction is a technique for reducing the size ofthe state-space to be searched by a model checking algorithm. Itexploits the commutativity of concurrently executed transitions, whichresult in the same state when executed in different orders.In explicitstate space exploration, partial order reduction usually refers to thespecific technique of expanding a representative subset of all enabledtransitions. This technique has also been described as model checkingwith representatives (Peled 1993).VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 96 pp. Englisch. Bestandsnummer des Verkäufers 9786133352698
Neu kaufen
EUR 136,00
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Partial Order Reduction : Computer Science, State Transition System, Model Checking
Print-on-DemandAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Bestandsnummer des Verkäufers 9786133352698
Neu kaufen
EUR 137,63
EUR 60,81 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar