It looks like you're offline.
Donate
♥
English (en)
Čeština (cs)
Deutsch (de)
English (en)
Español (es)
Français (fr)
हिंदी (hi)
Hrvatski (hr)
Italiano (it)
Português (pt)
Română (ro)
Sardu (sc)
తెలుగు (te)
Українська (uk)
中文 (zh)
My Books
Browse
Menu
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
All
All
Title
Author
Text
Subject
Lists
Advanced
Log In
Sign Up
My Open Library
Log In
Sign Up
Browse
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Contribute
Add a Book
Recent Community Edits
Resources
Help & Support
Developer Center
Librarians Portal
My Books
Browse
Menu
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Last edited by
ImportBot
December 25, 2021 |
History
Edit
Lenore Zuck
1 work
Add another?
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
by
Nicolas Halbwachs
and
Lenore Zuck
First published in 2005
—
1 edition
Locate
✓
Want to Read
Remove From Shelf
Want to Read
Currently Reading
Already Read
My Reading Lists:
Create a new list
Create a new list
×
Close
Name:
Description:
Create new list
Cancel
Subjects
Computer software
,
System design
Lists
Add to List
My Reading Lists:
Create a new list
ID Numbers
OLID: OL9974812A
Links
outside Open Library
No links yet.
Add one
?
History
Created December 25, 2021
1 revision
Download catalog record:
RDF
/
JSON
December 25, 2021
Created by
ImportBot
import new book