Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Approach to Autonomic Computing -- A Survey on Basic Connectors and Buffers -- The EternalS Coordination...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “..., Applications, and Tools -- Learning Meets Verification -- Trust and Security -- JACK — A Tool for Validation...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

4
Published 2008
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

5
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Cover Image
Read Now

6
Published 2010
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

7
Published 2009
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

8
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Component and Service Oriented Computing -- A Software Component Model and Its Preliminary...”