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

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

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

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

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

Formal Methods and Software Engineering, Fachbücher

Formal Methods: Foundations and Applications, 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

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

Formal Methods and Stochastic Models for Performance Evaluation, Fachbücher

Formal Methods for Protocol Engineering and Distributed Systems, Fachbücher