Formal methods in manufacturing systems recent advances

Bibliographische Detailangaben

Format:	Buch
Sprache:	English
Veröffentlicht:	Hershey, PA Engineering Science Reference 2013
Schriftenreihe:	Advances in civil and industrial engineering (ACIE) book series Premier reference source
Schlagworte:	Datenverarbeitung Production engineering > Data processing Production engineering > Technological innovations Formal methods (Computer science) Petri nets Fertigung Computerunterstütztes Verfahren Fertigungssystem Fertigungslogistik Flexible Fertigung Petri-Netz Aufsatzsammlung
Online-Zugang:	Inhaltsverzeichnis Klappentext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!