9787030772848 (1 resultados)
- Tapa blanda
Librería: liu xing, Nanjing, JS, Chinaliu xing
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 127,66
Envío por EUR 15,82Se envía de China a Estados Unidos de AmericaCantidad disponible: 3 disponibles
paperback. Condición: New. Paperback. Pub Date: 2024-01 Pages: 198 Language: Chinese Publisher: Science Press Computational Tree Logic Model Detection Based on Petri Nets mainly introduces prototype Petri nets. knowledge Petri nets. and time Petri nets with priorities. It is suitable for abstract modeling at a certain level of f…inite-state concurrent system control flow. secure multi-party computing protocols. multi-processor preemptive real-time systems. etc. such as describing concurrency. selection. conflict. multi.
