Showing
1 - 4
results of
4
for search '
'
Skip to content
Toggle navigation
Wellesley College
Course Reserves
SuperSearch
WorldCat
Databases
Research Guides
Your Account
Log Out
Institutional Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Library Catalog
Keyword
Title/Journal Title
Author
Subject
Call Number
ISBN/ISSN
Browse By Subject
Browse By Author
Browse By Title
Browse By Call Number
Find
Advanced Search
|
Browse
|
Search Tips
|
Repeat Search in WorldCat
Suggested Subjects:
Software Engineering
AND
Formal Languages and Automata Theory
Author:
*-*
AND
Merz, Stephan
Show filters (4)
Suggested Subjects:
Software Engineering
AND
Formal Languages and Automata Theory
Author:
*-*
AND
Merz, Stephan
Search Results
Suggested Subjects within your search.
Suggested Subjects within your search.
Formal Languages and Automata Theory
Machine theory
4
Software Engineering
Software engineering
4
Compilers (Computer programs)
3
Compilers and Interpreters
3
Computer Science Logic and Foundations of Programming
3
more ...
Computer science
3
Algorithms
2
Computer programming
2
Programming Techniques
2
Computer Communication Networks
1
Computer Modelling
1
Computer networks
1
Computer simulation
1
Electronic digital computers—Evaluation
1
System Performance and Evaluation
1
less ...
Showing
1 - 4
results of
4
for search '
'
, query time: 0.03s
Refine Results
Results per page
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /
Imprint 2014
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2014 English/International.
Electronic
eBook
Save to List
Saved in:
2
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
Imprint 2016
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2016 English/International.
Electronic
eBook
Save to List
Saved in:
3
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings /
Imprint 2010
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2010 English/International.
Electronic
eBook
Save to List
Saved in:
4
Temporal Logic and State Systems
by
Kröger, Fred.
,
Kröger, Fred.
,
Merz, Stephan.
Imprint 2008
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2008 English/International.
Electronic
eBook
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Format
Electronic
4
eBook
4
Author
Merz, Stephan
SpringerLink (Online service)
4
Blanchette, Jasmin Christian
1
Kröger, Fred
1
Méry, Dominique
1
Pang, Jun
1
Language
English
4
Year of Publication
From:
To:
Loading...