Web Services, Formal Methods, and Behavioral Types, Fachbücher von Jan Martijn van der Werf, Thomas Hildebrandt, Matthia...

Web Services, Formal Methods, And Behavioral Types 11th International

Web Services and Formal Methods, Fachbücher von Reiko Heckel, Marlon Dumas

Web Services and Formal Methods, Fachbücher von Roberto Bruni, Karsten Wolf

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods, Fachbücher

Web Services And Formal Methods 10th International Workshop, Ws-fm

Business Process Management Forum, Fachbücher von Thomas Hildebrandt, Jan Mendling, Maximilian Röglinger, Boudewijn F. v...

Web Services and Formal Methods, Fachbücher von Maurice H. ter Beek, Niels Lohman

Business Process Model and Notation, Fachbücher von Jan Mendling, Matthias Weidlich

Formal Methods for Web Services, Fachbücher

Formal Methods: Applications and Technology, Fachbücher von Martin Leucker, Jaco van de Pol, Boudewijn Haverkort, Lubos ...

Transgenic Mouse Methods and Protocols, Fachbücher von Jan van Deursen, Marten H. Hofker

Formal Methods: Foundations and Applications, Fachbücher

Automata based formal approach for verification of Web Service, Fachbücher von Danapaquiame N.

Formal Methods, Fachbücher von Erik de Vink, Jan Peleska, Klaus Havelund, Bill Roscoe

Formal Methods for Computer/Communications Protocols and Software, Fachbücher