Clear Search

Books+ Search Results

Subject: "Computer science"
Author/Creator: Is
Is Is Not
Steffen, Bernhard
LC Class: Is
Is Is Not
T - Technology
Subject: Is
Is Is Not
Software engineering

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Results are already all online
Viewing Online Items

Limit your search

1.
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online