Declarative Models of Concurrent Cyclic Processes (Bog, Hardback, Engelsk) af Grzegorz Bocewicz

Declarative Models of Concurrent Cyclic Processes

(Bog, Hardback, Engelsk)
Forfatter: Grzegorz Bocewicz



Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

Typical examples are the passenger railway system, the manufacturing system, the transportation system, and etc.Considered problems, i.e., the behavior analysis problem, the structure prototyping problem, and the problem of mutual reachability of various SCCMP behaviors, are strongly NP-hard.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfatter Grzegorz Bocewicz
Type Bog
Format Hardback
Sprog Engelsk
Udgave 2023 ed.
Udgivelsesdato 31-10-2023
Første udgivelsesår 2023
Serie Studies in Systems, Decision and Control
Illustrationer 69 Illustrations, color; 28 Illustrations, black and white
Originalsprog Switzerland
Sideantal 178
Indbinding Hardback
Forlag Springer International Publishing AG
Sideoplysninger 178 pages, 69 Illustrations, color; 28 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783031405518