adicionar à lista de desejos
Petri Nets For Systems Engineering
A Guide To Modeling, Verification, And Applications
language: english
Publisher:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, November of 2002 ‧
see product details
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783540412175 |
| Publisher: | SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Release Date: | November of 2002 |
| Language: | English |
| Cover: | Hardcover |
| Pages: | 607 |
| Format: | Book |
| Categories: |
Books in English
>
Science
>
Mathematics
|
| EAN: | 9783540412175 |
-
Petri Nets For Systems Engineering10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG108,14€ 10% CARDfree shipping
-
Petri Nets For Systems Engineering10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG108,14€ 10% CARDfree shipping