Vérification et mise en oeuvre des réseaux de Petri

DIAZ (Autor)

Buch | Softcover

320 Seiten

2009
Lavoisier-Hermès (Verlag)
978-2-7462-0445-4 (ISBN)

Artikel merken

Complément de Les réseaux de Pétri, qui portait sur la modélisation des systèmes dont les comportements dépendent de valeurs temporelles, ce second ouvrage insiste sur la vérification et la mise en oeuvre des modèles fondamentaux exposés précédemment. Il avance des solutions pour les systèmes réels dans divers domaines : télécommunications, programmation, multimédia...

Erscheinungsdatum	29.04.2021
Sprache	französisch
Maße	160 x 240 mm
Gewicht	790 g
Einbandart	Paperback
Themenwelt	Technik ► Elektrotechnik / Energietechnik
Schlagworte	TRAITE IC2 • Traité IC2, Informatique et systèmes d'information
ISBN-10	2-7462-0445-2 / 2746204452
ISBN-13	978-2-7462-0445-4 / 9782746204454
Zustand	Neuware