Petri-Netze: Theoretische Modelle und Analysemethoden für gleichzeitige Systeme
Ø 0.0
0 Bewertungen
212,90 €
The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures.
Jetzt bei Ebay:
-
EAN:9789811963117
-
UPC:9789811963117
-
ISBN:9789811963117
-
Format:Paperback, 279 pages, 2022 Edition
-
Author:Liu, Guanjun
-
Book Title:Petri Nets: Theoretical Models and Analysis Method
-
Item Height:1.6 cm
-
Item Length:23.4 cm
-
Item Weight:0.41 kg
-
Item Width:15.6 cm
-
Language:Eng
-
Publisher:Springer
-
Economy Shipping from outside:eBay SpeedPAK Economy 6,63 EUR - Lieferung zwischen 11. July 2025 und 24. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Großbritannien, USA, Kanada, Irland, Australien, Deutschland, Frankreich, Italien, Singapur, Neuseeland, Polen, Belgien, Niederlande, Norwegen, Schweden, Schweiz
-
Versand ausgeschlossen:Isle of Man , Afghanistan , Armenien , Indien , Russische Föderation , Israel , Türkei , Amerikanisch-Samoa , Französisch-Polynesien , Guam , ... und weitere