Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach /

Mostrar otras versiones (1)
Detalles Bibliográficos
Autor principal: Kurshan, R. P., 1943- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton, New Jersey : Princeton University Press, [1994]
Colección:Book collections on Project MUSE.
Temas:
System design.
Manufacturing processes > Planning > Data processing.
Expert systems (Computer science) > Verification.
Computational complexity.
TECHNOLOGY & ENGINEERING > Technical & Manufacturing Industries & Trades.
TECHNOLOGY & ENGINEERING > Manufacturing.
TECHNOLOGY & ENGINEERING > Industrial Technology.
TECHNOLOGY & ENGINEERING > Industrial Engineering.
MATHEMATICS > Complex Analysis.
Conception de systemes.
Systemes experts (Informatique) > Verification.
Complexite de calcul (Informatique)
Production > Planification > Informatique.
Electronic books.
Acceso en línea:Texto completo

MARC

LEADER 00000cam a22000004a 4500
001 musev2_35297
003 MdBmJHUP
005 20230905043720.0
006 m o d
007 cr||||||||nn|n
008 941109t19941994nju o 00 0 eng d
020 |a 9781400864041 
020 |z 9780691634890 
020 |z 9780691034362 
020 |z 9780691606057 
040 |a MdBmJHUP  |c MdBmJHUP 
100 1 |a Kurshan, R. P.,  |d 1943-  |e author. 
245 1 0 |a Computer-Aided Verification of Coordinating Processes :   |b The Automata-Theoretic Approach /   |c Robert P. Kurshan. 
264 1 |a Princeton, New Jersey :  |b Princeton University Press,  |c [1994] 
264 3 |a Baltimore, Md. :  |b Project MUSE,   |c 0000 
264 4 |c ©[1994] 
300 |a 1 online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 0 |a Princeton series in computer science 
588 |a Description based on print version record. 
650 7 |a System design.  |2 fast  |0 (OCoLC)fst01141401 
650 7 |a Manufacturing processes  |x Planning  |x Data processing.  |2 fast  |0 (OCoLC)fst01008182 
650 7 |a Expert systems (Computer science)  |x Verification.  |2 fast  |0 (OCoLC)fst00918531 
650 7 |a Computational complexity.  |2 fast  |0 (OCoLC)fst00871991 
650 7 |a TECHNOLOGY & ENGINEERING  |x Technical & Manufacturing Industries & Trades.  |2 bisacsh 
650 7 |a TECHNOLOGY & ENGINEERING  |x Manufacturing.  |2 bisacsh 
650 7 |a TECHNOLOGY & ENGINEERING  |x Industrial Technology.  |2 bisacsh 
650 7 |a TECHNOLOGY & ENGINEERING  |x Industrial Engineering.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Complex Analysis.  |2 bisacsh 
650 6 |a Conception de systemes. 
650 6 |a Systemes experts (Informatique)  |x Verification. 
650 6 |a Complexite de calcul (Informatique) 
650 6 |a Production  |x Planification  |x Informatique. 
650 0 |a System design. 
650 0 |a Expert systems (Computer science)  |x Verification. 
650 0 |a Computational complexity. 
650 0 |a Manufacturing processes  |x Planning  |x Data processing. 
655 7 |a Electronic books.   |2 local 
710 2 |a Project Muse.  |e distributor 
830 0 |a Book collections on Project MUSE. 
856 4 0 |z Texto completo  |u https://projectmuse.uam.elogim.com/book/35297/ 
945 |a Project MUSE - Custom Collection 

Ejemplares similares