Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7498) / Herausgegeben von Gheyi, Rohit/ Naumann, David

Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7498) （2012. 2012. X, 227 S. 235 mm）

Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7498) （2012. 2012. X, 227 S. 235 mm）

Herausgegeben von Gheyi, Rohit/ Naumann, David

SPRINGER, BERLIN（2012発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Paperback:紙装版/ペーパーバック版
商品コード 9783642332951

Full Description

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012;