wyszukanych pozycji: 7
![]() |
Coordination Models and Languages: 5th International Conference, Coordination 2002, York, Uk, April 8-11, 2002 Proceedings
ISBN: 9783540434108 / Angielski / Miękka / 2002 / 412 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8-11 April 2002. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an application and the lower-level communication model used in its implementation. Coordinati- based methods provide a clean separation between individual software com- nents and their interactions within their overall software organization. This se- ration, together with the higher-level abstractions o?ered...
This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK,...
|
cena:
192,30 zł |
![]() |
Fundamentals of Software Engineering
ISBN: 9783642116223 / Angielski / Miękka / 2010 / 470 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The present volume contains the proceedings of the Third IPM International Conference on Fundamentals of Software Engineering (FSEN), Kish, Iran, April 15-17, 2009. FSEN 2009 was organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM) in Iran, in cooperation with the ACM SIGSOFT and IFIP WG 2.2. This conference brought together around 100 researchers and practitioners working on di?erent aspects of formal methods in software engineering from 15 di?erentcountries.ThetopicsofinterestinFSENspanoverallaspects offormal methods,...
The present volume contains the proceedings of the Third IPM International Conference on Fundamentals of Software Engineering (FSEN), Kish, Iran, Apri...
|
cena:
192,30 zł |
![]() |
Formal Aspects of Component Software: 16th International Conference, Facs 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings
ISBN: 9783030409135 / Angielski / Miękka / 2020 / 261 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
192,30 zł |
![]() |
International Symposium on Fundamentals of Software Engineering
ISBN: 9783540756972 / Angielski / Miękka / 2007 / 470 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17-19, 2007. This event, FSEN 2007, was organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM) in Iran, in cooperation with the ACM SIGSOFT and IFIP WG 2.2, and was additionally supported by the University of Tehran, Sharif University of Te- nology, andtheInternationalScienti?cMeetingsO?ce(ISMO).Thissymposium brought together researchers and practitioners working on di?erent aspects of...
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Ira...
|
cena:
192,30 zł |
![]() |
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
ISBN: 9783642293191 / Angielski / Miękka / 2012 / 377 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011. This title features papers organized in topical section on models of programs and systems, software specification, validation and verification, and more.
Constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2...
|
cena:
192,30 zł |
![]() |
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
ISBN: 9783642402128 / Angielski / Miękka / 2013 / 283 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in April 2013. The 17 full papers presented in this volume were carefully reviewed and selected from 65 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.
This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran...
|
cena:
192,30 zł |
![]() |
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
ISBN: 9783642357428 / Angielski / Miękka / 2012 / 369 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full papers presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. They cover the topics of formal models for software components and their interaction, design and verification methods for software components and services, formal methods and modeling languages for components and services, industrial or experience reports, and case studies, autonomic components and...
This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norw...
|
cena:
192,30 zł |