Formal Methods for Industrial Critical Systems, Fachbücher von Francesco Flammini, Frédéric Lang

Formal Modeling and Analysis of Timed Systems, Fachbücher von Axel Legay, Marius Bozga

Integrated Formal Methods, Fachbücher von Elvira Albert, Emil Sekerinski

Quantitative Evaluation of Systems, Fachbücher von Gethin Norman, William Sanders

Computer Safety, Reliability, and Security, Fachbücher von Felicita Di Giandomenico, Andrea Bondavalli

Discrete Geometry for Computer Imagery, Fachbücher von Simone Rinaldi, Andrea Frosini, Elena Barcucci

Database Systems for Advanced Applications, Fachbücher

Software Engineering and Formal Methods, Fachbücher

Formal Methods in Macro-Biology, Fachbücher von François Fages, Carla Piazza

FM 2014: Formal Methods, Fachbücher von Jun Sun, Cliff Jones, Pekka Pihlajasaari

Advances in Databases and Information Systems, Fachbücher von Patrick Valduriez, Morzy Tadeusz, Ladjel Bellatreche

Formal Methods For Industrial Critical Systems 19th International

Business Process Management, Fachbücher von Pnina Soffer, Shazia Sadiq, Hagen Völzer

Image Analysis and Processing — ICIAP 2015, Fachbücher von Enrico Puppo, Vittorio Murino

Principles and Practice of Constraint Programming, Fachbücher von Barry O'Sullivan

Integrated Formal Methods, Fachbücher von Carlo A. Furia, Kirsten Winter