Formal Methods: Foundations and Applications, Fachbücher von Bill Roscoe, Márcio Cornélio

Bill Roscoe (u. A.) | Formal Methods: Foundations And Applications |

Formal Methods: Foundations and Applications, Fachbücher

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

Formal Methods: Foundations and Applications, Fachbücher von Sérgio Campos, Marius Minea

Formal Methods: Foundations and Applications, Fachbücher von José Fiadeiro, Simone Cavalheiro

Formal Methods: Foundations and Applications, Fachbücher von David Naumann, Rohit Gheyi

Formal Methods: Foundations and Applications, Fachbücher von Volker Stolz, Gustavo Carvalho

Formal Methods: Foundations and Applications, Fachbücher von Narciso Martí-Oliet, Christiano Braga

Formal Methods: Foundations and Applications, Fachbücher von Mohammad Reza Mousavi, Tiago Massoni

Formal Methods: Foundations And Applications 12th Brazilian Symposium

Formal Methods: Foundations And Applications | Mohammad Reza Mousavi

Formal Methods: Foundations And Applications Volker Stolz (u. A.)

José Fiadeiro (u. A.) | Formal Methods: Foundations And Applications |

Formal Methods: Foundations And Applications Narciso Martí-oliet (u.

Formal Methods: Foundations and Applications, Fachbücher von Jim Woodcock, Marcel Vinícius Medeiros Oliveira