Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science, Band 8941)

Ein umfangreicher Sammelband aus dem 17. brasilianischen Symposium zu formalen Methoden, der aktuelle theoretische Durchbrüche, neue Modellierungsans ...

Allgemein

Marke
Springer International Publishing
ISBN
Springer International Publishing 331915074X
MPN
Springer International Publishing 39 black & white illustrations, biograph

Eigenschaften

Menü