Petri-Netze: Theoretische Modelle und Analysemethoden für gleichzeitige Systeme
Ø 0.0
0 Bewertungen
214,84 €
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 3,17 EUR - Lieferung zwischen 01. July 2025 und 14. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Großbritannien, USA, Kanada, Irland, Australien, Deutschland, Frankreich, Italien, Singapur, Neuseeland, Belgien, Niederlande, Schweiz, Dänemark, Luxemburg, Polen, Schweden
-
Versand ausgeschlossen:Isle of Man , Anguilla , Antigua und Barbuda , Aruba , Bahamas , Puerto Rico , Amerikanisch-Samoa , Französisch-Polynesien , Guam , Palau , ... und weitere