Petri nets for systems engineering : a guide to modeling, verification, and applications /

Bibliographic Details
Main Author: Girault, Claude
Other Authors: Valk, Rüdiger
Format: Book
Language:English
Published: New York ; London : Springer, 2003.
Subjects:
Formal methods (Computer science)
Biçimsel yöntemler (Bilgisayar bilimi)
Systems engineering.
Sistem mühendisliği.
Petri nets.
Petri ağları
Online Access:View in OPAC

Internet

View in OPAC

Merkez Kütüphane

Holdings details from Merkez Kütüphane
Call Number: QA76.9 G573 2003
Copy Rafta

Similar Items