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
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 334069-1001 | ONLINE(334069.1) | | Elektronik Kütüphane |