Resultados de la búsqueda para Partial Order Reduction: Computer Science, State Transition...
Imagen de archivo
Partial Order Reduction
Publicado por
Omniscriptum Mär 2026, 2026
ISBN 10: 6133352698
ISBN 13: 9786133352698
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 96 pp. Englisch. Nº de ref. del artículo: 9786133352698
Comprar nuevo
EUR 136,00
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Partial Order Reduction | Computer Science, State Transition System, Model Checking
Impresión bajo demandaLibrería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 134901585
Comprar nuevo
EUR 109,85
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen del vendedor
Partial Order Reduction
Publicado por
Omniscriptum Mär 2026, 2026
ISBN 10: 6133352698
ISBN 13: 9786133352698
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9786133352698
Comprar nuevo
EUR 136,00
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Partial Order Reduction : Computer Science, State Transition System, Model Checking
Impresión bajo demandaLibrería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Nº de ref. del artículo: 9786133352698
Comprar nuevo
EUR 137,63
Envío por EUR 60,81
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles