Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
by
 
Aoki, Toshiaki. editor.

Title
Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings

Author
Aoki, Toshiaki. editor.

ISBN
9783642342813

Physical Description
XIV, 512 p. 131 illus. online resource.

Series
Lecture Notes in Computer Science, 7635

Series Title
Lecture Notes in Computer Science, 0302-9743 ; 7635

Subject Term
Computer science.
 
Computer Communication Networks.
 
Software engineering.
 
Computer software.

Added Author
Taguchi, Kenji.

Added Corporate Author
SpringerLink (Online service)

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


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book197501-2001ONLINEElektronik Kütüphane