Byoungmoon Chin – författare

Visar alla böcker från författaren Byoungmoon Chin. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Formal Techniques for Networked and Distributed Systems

   FORTE 2001

   Av Danhyung Lee, Sungwon Kang m. fl.

   E-bok, 2006

   2925 kr

   Lägg i varukorg

   FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques …

2. 

   Formal Techniques for Networked and Distributed Systems

   FORTE 2001

   Av Myungchul Kim, Byoungmoon Chin m. fl.

   Inbunden, 2001

   2250 kr

   Lägg i varukorg

   This work presents the latest world-wide results in theory and practice of formal techniques for networked and distributed systems. Its theme is addressed by specialized papers in the following areas: formal methods in software development, process algebra, timed automata, theories and applications …

3. 

   Formal Techniques for Networked and Distributed Systems : FORTE 2001

   Av Myungchul Kim, Byoungmoon Chin

   2013

   665 kr

   Lägg i varukorg

4. 

   Formal Techniques for Networked and Distributed Systems

   FORTE 2001

   Av Myungchul Kim, Byoungmoon Chin m. fl.

   Häftad, 2013

   2250 kr

   Lägg i varukorg

   FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques …