|
004.738.52(063) F76
Formal methods for web services [Electronic resource] : 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009: advanced lectures / ed. D. Hutchison [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5569). - ISBN 978-3-642-01918-0 : Б. ц.
Кл.слова (ненормированные): веб-сервисы -- формальные методы -- вычислительные системы -- системы связи -- системы программного обеспечения -- проектирование -- конференции
См. : Текст издания Доп.точки доступа: Hutchison, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|