wyszukanych pozycji: 6
Web Services and Formal Methods: Third International Workshop, Ws-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
ISBN: 9783540388623 / Angielski / Miękka / 2006 / 304 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more. Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the ... |
|
cena:
195,42 zł |
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
ISBN: 9783642195884 / Angielski / Miękka / 2011 / 191 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 20...
|
|
cena:
195,42 zł |
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
ISBN: 9783642040801 / Angielski / Miękka / 2009 / 638 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1 4, 2009. The purpose of the CONCUR conference is to bring together researchers, developers, and s- dentsinordertoadvancethetheoryofconcurrencyandpromoteitsapplications. This year the CONCUR conference was in its 20th edition, and to celebrate 20 years of CONCUR, the conference program included a special session organized by the IFIP Working Groups 1.8 Concurrency Theory and 2.2 Formal - scriptionofProgrammingConcepts aswellas aninvitedlecturegivenby Robin Milner, one...
This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1 4, 2009. The purpose of ...
|
|
cena:
390,87 zł |
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versaille
ISBN: 9783540287018 / Angielski / Miękka / 2005 / 349 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit ede VersaillesSaint-Quentin-en-Yvelines, V- sailles, France, 1 3 September 2005. EPEW (European Performance Engineering Workshop) and WS-FM (Int- national Workshop on Web Services and Formal Methods) were colocated to gather the researchers working across the spectrum of techniques for modelling, speci?cation, analysis and veri?cation of the behavior of computer systems and business processes. This proceedings contains a selection of 20 research contributions, out of 59 submissions, which...
This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit ede VersaillesSaint-Quentin-en-Yvelines, V- sa...
|
|
cena:
195,42 zł |
Behavioral Types in Programming Languages
ISBN: 9781680831344 / Angielski / Miękka / 2016 / 156 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their representation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to design and monitoring methodologies that take behaviors...
A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communicatio...
|
|
cena:
484,32 zł |
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
ISBN: 9783642405600 / Angielski / Miękka / 2013 / 321 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madr...
|
|
cena:
195,42 zł |