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

Web Services and Formal Methods, Fachbücher

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

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 5th International Workshop, Ws-fm

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

Algebra and Coalgebra in Computer Science, Fachbücher von Reiko Heckel, Stefan Milius

Advances in Databases and Information Systems, Fachbücher von Marlon Dumas, Panagiotis Karras, Ladjel Bellatreche, Raimu...

Perspectives in Business Informatics Research, Fachbücher von Raimundas Matulevicius, Marlon Dumas

Formal Methods: Foundations and Applications, Fachbücher

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

Graph Transformation for Software Engineers, Fachbücher von Gabriele Taentzer, Reiko Heckel

Business Process Management, Fachbücher von Chiara Ghidini, Jörg Becker, Dirk Fahland, Marlon Dumas

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

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