Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
by
 
Iyoda, Juliano. editor.

Title
: 
Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Author
: 
Iyoda, Juliano. editor.

ISBN
: 
9783642410710

Physical Description
: 
X, 243 p. 81 illus. online resource.

Series
: 
Lecture Notes in Computer Science, 8195

Subject Term
: 
Computer science.
 
Computer Science, general.

Added Author
: 
Moura, Leonardo.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-642-41071-0


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book335052-1001ONLINE(335052.1)Elektronik Kütüphane