Koleksi

Advanced Search

Formal Methods for Executable Software Models14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /

Detail CantumanXML DetailCite
Formal Methods for Components and Objects11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /

Formal Methods for Components and Objects11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /

Detail CantumanXML DetailCite

Hasil Pencarian

Ditemukan 2 dari pencarian Anda melalui kata kunci: Author : "Hähnle, Reiner."
Permintaan membutuhkan 2.56958 detik untuk selesai
XML ResultJSON Result