wyszukanych pozycji: 2
Formal Techniques for Networked and Distributed Systems - Forte 2005: 25th Ifip Wg 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Pr
ISBN: 9783540291893 / Angielski / Miękka / 2005 / 558 str. Termin realizacji zamówienia: ok. 20 dni roboczych. FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988, a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series. The last ?ve me- ings of FORTE were held in...
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the Internatio...
|
|
cena:
391,77 zł |
Automated Technology for Verification and Analysis: Second International Conference, Atva 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004. Pr
ISBN: 9783540236108 / Angielski / Miękka / 2004 / 510 str. Termin realizacji zamówienia: ok. 20 dni roboczych. It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31 November3,2004.TheseriesofATVAmeetingsisintendedforthepromotionofrelated research in eastern Asia. In the last decade, automated technology on veri?cation has become the new strength in industry and brought forward various hot research activities in both Europe and USA. In comparison, easternAsia has been quiet in the forum.With more and more IC design houses moving from SiliconValley to easternAsia, we believe this is a good time to...
It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, Oc...
|
|
cena:
391,77 zł |