Cantitate/Preț
Produs

Petri Nets / Fundamental Models, Verification and Applications

Autor M Diaz
en Limba Engleză Hardback – 9 iul 2009
A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems.
Citește tot Restrânge

Preț: 173633 lei

Preț vechi: 258699 lei
-33% Nou

Puncte Express: 2604

Preț estimativ în valută:
33230 34517$ 27602£

Carte indisponibilă temporar

Doresc să fiu notificat când acest titlu va fi disponibil:

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781848210790
ISBN-10: 1848210795
Pagini: 612
Dimensiuni: 163 x 232 x 39 mm
Greutate: 1.02 kg
Editura: ISTE Ltd.
Locul publicării:Hoboken, United States

Public țintă

  • Practicing software engineers
  • Advanced undergraduate and graduate students of computer science and electrical engineering, specifically those studying software/hardware design verification and/or stochastic modelling.

Notă biografică

Michel Diaz is director of research at the National Center of Scientific Research (CNRS), Paris, France and leads the critical computer systems research department at LAAS-CNRS, Toulouse.