جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید. http://localhost/handle/Hannan/1086
عنوان: Coordination Models and Languages
عنوان دیگر: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchetel, Switzerland, June 19-22, 2017, Proceedings /
پدیدآورنده: Jacquet, J.-M. ; (Jean-Marie) ;;Massink, Mieke. ;
کلید واژه ها: Computer Science;Computer Programming;Software Engineering;Programming Languages and Electronic Computers;Computer Science;Software Engineering;Programming Techniques;Programming Languages and Compilers and Interpreters;Information
تاریخ انتشار: 2017
محل نشر: Cham :
ناشر: Springer International Publishing :
Imprint: Springer,
فروست / شماره : Lecture Notes in Computer Science, ; 0302-9743 ; ; 10319. ;
Lecture Notes in Computer Science, ; 0302-9743 ; ; 10319. ;
چکیده: This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchetel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification. ;
توضیحات : 

Printed edition: ; 9783319597454. ;
SpringerLink (Online service) ;
005.1 ; 23 ;

آدرس: http://localhost/handle/Hannan/1086
شابک : 9783319597461 ;
9783319597454 (print) ;
اطلاعات بیشتر: XII, 279 p. 94 illus. ; online resource. ;
مجموعه(های):مهندسی فناوری اطلاعات

پیوست های این کاربرگه
فایل توضیحات اندازهفرمت  
9783319597461.pdf17.28 MBAdobe PDFتصویر
مشاهده فایل
عنوان: Coordination Models and Languages
عنوان دیگر: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchetel, Switzerland, June 19-22, 2017, Proceedings /
پدیدآورنده: Jacquet, J.-M. ; (Jean-Marie) ;;Massink, Mieke. ;
کلید واژه ها: Computer Science;Computer Programming;Software Engineering;Programming Languages and Electronic Computers;Computer Science;Software Engineering;Programming Techniques;Programming Languages and Compilers and Interpreters;Information
تاریخ انتشار: 2017
محل نشر: Cham :
ناشر: Springer International Publishing :
Imprint: Springer,
فروست / شماره : Lecture Notes in Computer Science, ; 0302-9743 ; ; 10319. ;
Lecture Notes in Computer Science, ; 0302-9743 ; ; 10319. ;
چکیده: This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchetel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification. ;
توضیحات : 

Printed edition: ; 9783319597454. ;
SpringerLink (Online service) ;
005.1 ; 23 ;

آدرس: http://localhost/handle/Hannan/1086
شابک : 9783319597461 ;
9783319597454 (print) ;
اطلاعات بیشتر: XII, 279 p. 94 illus. ; online resource. ;
مجموعه(های):مهندسی فناوری اطلاعات

پیوست های این کاربرگه
فایل توضیحات اندازهفرمت  
9783319597461.pdf17.28 MBAdobe PDFتصویر
مشاهده فایل
عنوان: Coordination Models and Languages
عنوان دیگر: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchetel, Switzerland, June 19-22, 2017, Proceedings /
پدیدآورنده: Jacquet, J.-M. ; (Jean-Marie) ;;Massink, Mieke. ;
کلید واژه ها: Computer Science;Computer Programming;Software Engineering;Programming Languages and Electronic Computers;Computer Science;Software Engineering;Programming Techniques;Programming Languages and Compilers and Interpreters;Information
تاریخ انتشار: 2017
محل نشر: Cham :
ناشر: Springer International Publishing :
Imprint: Springer,
فروست / شماره : Lecture Notes in Computer Science, ; 0302-9743 ; ; 10319. ;
Lecture Notes in Computer Science, ; 0302-9743 ; ; 10319. ;
چکیده: This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchetel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification. ;
توضیحات : 

Printed edition: ; 9783319597454. ;
SpringerLink (Online service) ;
005.1 ; 23 ;

آدرس: http://localhost/handle/Hannan/1086
شابک : 9783319597461 ;
9783319597454 (print) ;
اطلاعات بیشتر: XII, 279 p. 94 illus. ; online resource. ;
مجموعه(های):مهندسی فناوری اطلاعات

پیوست های این کاربرگه
فایل توضیحات اندازهفرمت  
9783319597461.pdf17.28 MBAdobe PDFتصویر
مشاهده فایل