Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
by
 
Păsăreanu, Corina S. editor.

Title
: 
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Author
: 
Păsăreanu, Corina S. editor.

ISBN
: 
9783642358616

Physical Description
: 
X, 277 p. 72 illus. online resource.

Series
: 
Lecture Notes in Computer Science, 7684

Subject Term
: 
Computer science.
 
Software engineering.
 
Logic design.
 
Information Systems.
 
Mathematical Logic and Formal Languages.
 
Logics and Meanings of Programs.
 
Programming Languages, Compilers, Interpreters.
 
Programming Techniques.
 
Management of Computing and Information Systems.

Added Author
: 
Salaün, Gwen.

Added Corporate Author
: 
SpringerLink (Online service)

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


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