Formal methods (Computer science)

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers [NT 59711] by: Beek, Maurice H. ter; WS-FM 2012 (2012)); Lohmann, N. ([NT 1579] Language materials, printed)

Understanding formal methods [NT 59711] by: Monin, Jean-Francois; Hinchey, Michael G. ([NT 1579] Language materials, printed)

Practical UML statecharts in C/C++ : event-driven programming for embedded systems [NT 59711] by: Samek, Miro ([NT 1579] Language materials, printed)

Design patterns formalization techniques [NT 59711] by: Taibi, Toufik ([NT 1579] Language materials, printed)

Teamwork in multi-agent systems : a formal approach [NT 59711] by: Verbrugge, Rineke; Dunin-Keplicz, Barbara ([NT 8598] Electronic resources)