Isbn: 9787030772848 (1 risultati)

ISBN: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (1)

  • Nuovo (1)
Maggiori informazioni

a

Fascia di prezzo personalizzata (EUR)

a

  • 7030772849 / 9787030772848

    • Brossura

    Da: liu xing, Nanjing, JS, Cinaliu xing

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 129,07

    EUR 16,00 spedizione 
    Spedito da Cina a U.S.A.

    Quantità: 3 disponibili

    paperback. Condizione: 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 finite-state concurrent system control flow. secure multi-party computing protocols. multi-processor preemptive real-time systems. etc. such as describing concurrency. selection. conflict. multi.…