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"
Recently Added:
Is
Is
Is Not
within 6 Months
Subject (Genre):
Is
Is
Is Not
Biography
Subject:
Is
Is
Is Not
Development
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
Drusinsky, Doron
1
Recently Added
within 6 Months
✖
[remove]
1
within 1 Year
1
Location
Yale Internet Resource
1
Language
English
1
Subject
Computer software
1
Development
✖
[remove]
1
Formal methods (Computer science)
1
UML (Computer science)
1
Subject (Genre)
Academic theses
1
Biographies
1
Biography
✖
[remove]
1
dissertations
1
LC Class
Q - Science
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.
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking
Author
Drusinsky, Doron
Published
Burlington, MA : Newnes, ©2006.
Online
Online book
Location
Yale Internet Resource >>
None
Format
Books
/
Online
