Skip to search
Skip to main content
Saved Lists
Quicksearch Login
|
Ask Yale Library
My Library Accounts
My Library Accounts
My Acccount (Orbis)
Special Collections
Scan and Deliver
BorrowDirect
Interlibrary Loan
Bass Media Equipment
Quicksearch top menu
Saved Lists
Quicksearch Login
Ask Yale Library
My Library Accounts
My Library Accounts
My Acccount (Orbis)
Special Collections
Scan and Deliver
BorrowDirect
Interlibrary Loan
Bass Media Equipment
Quicksearch
All Fields
Title
Journal Title
Author/Creator
Series
Title Begins With
Subject
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
Search
Advanced Search
Search Help
see all results by data source
All Results
Books+
Digital Collections
Databases
Archives or Manuscripts
Articles+
New Arrivals
Select Data Source
All Results
Books+
Digital Collections
Databases
Archives or Manuscripts
Articles+
New Arrivals
Clear Search
Books+ Search Results
Subject: "Computer science"
Author/Creator:
Is
Is
Is Not
Steffen, Bernhard
Subject (Genre):
Is
Is
Is Not
Congresses
Advanced Search
Basic Search
Help
Select an option
All Fields
Title
Journal Title
Series
Title Begins With
Author
Subject
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
AND
OR
NOT
Select an option
All Fields
Title
Journal Title
Series
Title Begins With
Author
Subject
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
AND
OR
NOT
Select an option
All Fields
Title
Journal Title
Series
Title Begins With
Author
Subject
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
Add a row
Search
Reset
Limit results by
Format
Books (1)
Online (1)
Location
Yale Internet Resource (1)
Language
English (1)
Publication date
{:"aria-label"=>"date-range"}
-
{:"aria-label"=>"date-range"}
Results are already all online
Viewing Online Items
Limit your search
Format
Books
1
Online
1
Publication Date
2006
1
Author/Creator
ISoLA 2004 (2004 : Paphos, Cyprus)
1
Margaria-Steffen, Tiziana, 1964-
1
Steffen, Bernhard
✖
[remove]
1
Location
Yale Internet Resource
1
Language
English
1
Subject
Formal methods (Computer science)
1
Subject (Genre)
Congresses
✖
[remove]
1
All results below
1
entry found
Toggle Menu
Display Options
10 per page
25 per page
50 per page
100 per page
Sort by Relevance
Relevance
Recently Added
Published Earliest
Published Latest
Author/Creator A-Z
Author/Creator Z-A
Title A-Z
Title Z-A
Selected
Items...
Send to Email
Export to EndNote
Export to RefWorks
Add to My Saved List
Select All Items
Clear All Items
Start Over
Checkbox
1.
Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers
Author
ISoLA 2004 (2004 : Paphos, Cyprus)
Published
Berlin ; New York : Springer, c2006.
Online
https://yale.idm.oclc.org/login?URL=http://springerlink.com/openurl.asp?genre...
Location
Yale Internet Resource >>
None
Format
Books
/
Online
