Claude Girault – författare
Visar alla böcker från författaren Claude Girault. Handla med fri frakt och snabb leverans.
3 produkter
Petri Nets for Systems Engineering
A Guide to Modeling, Verification, and Applications
Av Claude Girault, Rüdiger Valk
Inbunden, 2002
1098 kr
Lägg i varukorg
Formal methods for the specification and verification of hardware and software systems are becoming more and more 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 contains a collection of …
Petri Nets for Systems Engineering
A Guide to Modeling, Verification, and Applications
Av Claude Girault, Rüdiger Valk
Häftad, 2010
989 kr
Lägg i varukorg
Formal methods for the specification and verification of hardware and software systems are becoming more and more 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 contains a collection of …
Petri Nets for Systems Engineering
A Guide to Modeling, Verification, and Applications
Av Rudiger Valk, Claude Girault
E-bok, 2013
1296 kr
Lägg i varukorg
Formal methods for the specification and verification of hardware and software systems are becoming more and more 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 contains a collection of …
