Computer-aided verification of coordinating processes : the automata-theoretic approach /

Mostrar otras versiones (1)
Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Kurshan, R. P., 1943- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton, New Jersey : Princeton University Press, [1994]
Colección:Princeton series in computer science.
Temas:
Manufacturing processes > Planning > Data processing.
Computational complexity.
Expert systems (Computer science) > Verification.
System design.
Production planning > Data processing.
Production > Planification > Informatique.
Complexité de calcul (Informatique)
Systèmes experts (Informatique) > Vérification.
Conception de systèmes.
MATHEMATICS > Complex Analysis.
TECHNOLOGY & ENGINEERING > Industrial Engineering.
TECHNOLOGY & ENGINEERING > Industrial Technology.
TECHNOLOGY & ENGINEERING > Manufacturing.
TECHNOLOGY & ENGINEERING > Technical & Manufacturing Industries & Trades.
Computational complexity
Expert systems (Computer science) > Verification
Manufacturing processes > Planning > Data processing
System design
Acceso en línea:Texto completo
Descripción
Descripción Física:1 online resource (284 pages)
Bibliografía:Includes bibliographical references (pages 241-262) and index.
ISBN:9781400864041
1400864046

Ejemplares similares