Faites connaître cet article à vos amis:
Transactions on Petri Nets and Other Models of Concurrency V - Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency Kurt Jensen
Transactions on Petri Nets and Other Models of Concurrency V - Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency
Kurt Jensen
This book presents 12 papers on Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. Covers model checking and system verification, synthesis, work on specific classes of Petri nets and more.
310 pages, biography
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 27 mars 2012 |
| ISBN13 | 9783642290718 |
| Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 310 |
| Dimensions | 155 × 235 × 18 mm · 458 g |
| Langue et grammaire | Français |
Plus par Kurt Jensen
Afficher toutVoir tous les Kurt Jensen ( par ex. Paperback Book , Hardcover Book et Loose-leaf )
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier