Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Petri Nets for Systems Engineering
- A Guide to Modeling, Verification, and Applications
Engelsk
Bogcover for Petri Nets for Systems Engineering af Rudiger Valk, Claude Girault, 9783642074479
Specifikationer
Sprog:
Engelsk
Sider:
607
ISBN-13:
9783642074479
Indbinding:
Paperback
ISBN-10:
3642074472
Udg. Dato:
15 dec 2010
Størrelse i cm:
23,4 x 15,7 x 3,5
Oplagsdato:
15 dec 2010
Forfatter(e):

Petri Nets for Systems Engineering

- A Guide to Modeling, Verification, and Applications
Engelsk
Paperback 2010
Format:

Bog beskrivelse
Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net formalisms. It presents both practical and theoretical foundations for the use of Petri nets in complex system engineering tasks. In doing so it bridges the gap between Petri nets and the systems modeling and implementation process. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.
... Vis mere

Forlags Vejl. pris
932,05 kr
Hos Booktok
694 kr
spar 26%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
607
ISBN-13:
9783642074479
Indbinding:
Paperback
ISBN-10:
3642074472
Udg. Dato:
15 dec 2010
Størrelse i cm:
23,4 x 15,7 x 3,5
Oplagsdato:
15 dec 2010
Forfatter(e):
Finder produkter...
Kategori sammenhænge