Výsledky hledání pro autora

1

Obálka

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, Versailles, France, September 1-3, 2005, proceedings /

Vydáno 2005

Další autoři: '; “...Bravetti, Mario, 1971-...”

Kniha

2

Obálka

Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, proceedings /

Vydáno 2006

Další autoři: '; “...Bravetti, Mario, 1971-...”

Kniha