Request for: Formal aspects of component software : 7

 Staff view

You must be logged in to Tag Records

Formal aspects of component software : 7th international workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010 : revised selected papers /

Luís Soares Barbosa, Markus Lumpe (eds.).

Book Cover
Names: Barbosa, Luis Soares. | Lumpe, Markus.
Published: Heidelberg ; Springer, ©2012.
Series: Lecture notes in computer science ; 6921.
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Formal methods (Computer science) - Congresses. | Component software - Congresses. | Computer science. | Computer Communication Networks. | Software engineering. | Logic design. | Informatique.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


You must first login before requesting items. Additional help requesting materials for Benedictine borrowers.