Formal methods: foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29 - October 1, 2014, proceedings :: ISBN 9783319150741 :: Springer 2015 :: OBNB, the Open British National Bibliography

Publication Data

Title Formal methods: foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29 - October 1, 2014, proceedings
Contributors Christiano Braga, N. Martí-Oliet
Publisher Springer
Publication date 2015
Publication location Cham
Language English

Descriptive Notes

"17th Brazilian Symposium on Formal Methods held in Maceió, Brazil as a part of CBSoft 2014, the Fifth Brazilian Conference on Software: Theory and Practice"--Preface.

Topics

Formal methods (Computer science) :: Congresses
Computer software :: Development :: Congresses

Catalogue Data

OBNB ID GBB527498
ISBN 10 331915074X
ISBN 13 9783319150741
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 viii, 178 pages
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Formal methods: foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29 - October 1, 2014, proceedings. ISBN 9783319150741. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.