Formal aspects of component software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers /

Formal aspects of component software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers /

Show other versions (2)

This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015. The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submis...

Full description

Bibliographic Details
Corporate Authors: FACS (Symposium) Niterói, Brazil), FACS (Symposium) Niterói, Brazil)
Other Authors: Braga, Christiano (Computer scientist) (Editor), Ölveczky, Peter Csaba (Editor), Ölveczky, Peter Csaba (Editor)
Format: Conference Proceeding Book
Language:English
Published: Cham : Springer, 2016
Series:LNCS sublibrary Programming and software engineering.
Lecture notes in computer science ; 9539
Subjects:
Component software > Congresses
Formal methods (Computer science) > Congresses
Business & Economics > Information Management
Component software
Computer programming > software development
Computers > Programming Languages > General
Computers > Programming > General
Computers > Software Development & Engineering > General
Formal methods (Computer science)
Information architecture
Mathematical theory of computation
Mathematics > Logic
Programming & scripting languages: general
Software Engineering
Electronic books
Conference papers and proceedings

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: INTERNET RESOURCE

Similar Items