Click here to skip to this page's main content.

Hello! The State of Virginia is participating in our eBook lending program. Browse the growing lending library of over 200,000 eBooks!

Site Search

Site Search

Log in / Sign Up

Last edited by RenameBot

August 28, 2008 | History

Zohar Manna

10 works Add another?

Most Editions | First Published | Most Recent

Mathematical theory of computation
2 editions - first published in 1974
The deductive foundations of computer programming
2 editions - first published in 1993
Fundamentals of deductive program synthesis
1 edition - first published in 1992
Lectures on the logic of computer programming
1 edition - first published in 1980
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)
1 edition - first published in 1987
The logical basis for computer programming
1 edition - first published in 1985
Studies in automatic programming logic
1 edition - first published in 1977
Temporal verification of reactive systems
1 edition - first published in 1995
The temporal logic of reactive and concurrent systems
1 edition - first published in 1992
Software development technologies for reactive, real-time, and hybrid systems
1 edition - first published in 1997

We need a photo of Zohar Manna

Subjects

Computer programming, Symbolic and mathematical Logic, Automatic programming (Computer science), Computer programs, Computer systems programs, Debugging in computer science, Real time operation, Software development tools, Software engineering

You could add Zohar Manna to a list if you log in.

Links (outside Open Library)

No links yet. Add one?

History Created April 1, 2008 · 2 revisions
Download catalog record: RDF / JSON

August 28, 2008	Edited by RenameBot	fix author name
April 1, 2008	Created by an anonymous user	initial import

Site Search

Around
The Library

Shawnna Connolly updated Privacy and freedom [by] Alan F. Westin. 35 minutes ago
Around the Library →

Problem?

Debug Stats

SUMMARY

memcache.get: {'count': 4, 'time': 0.0034091472625732422}
total: {'count': 0, 'unaccounted': 0.045220851898193359, 'time': 0.33313202857971191}
solr: {'count': 1, 'time': 0.28387093544006348}
memcache.get_multi: {'count': 1, 'time': 0.00063109397888183594}

Details

memcache.get 0.000839948654175
    {'hit': True, 'key': u'/authors/OL657603A'}
memcache.get 0.000674962997437
    {'hit': True, 'key': 'd/authors/OL657603A'}
memcache.get_multi 0.000631093978882
    {'found': 1}
memcache.get 0.000333070755005
    {'hit': True, 'key': 'inlibrary.libraries-hash'}
solr 0.28387093544
    {'url': u'http://ol-solr0:8983/solr/works/select?q.op=AND&q=author_key:OL657603A&fq=&start=0&rows=100&fl=key,author_name,author_key,title,subtitle,edition_count,ia,cover_edition_key,has_fulltext,first_publish_year,public_scan_b,lending_edition_s,overdrive_s,ia_collection_s&wt=json&sort=edition_count+desc&facet=true&facet.mincount=1&f.author_facet.facet.sort=count&f.publish_year.facet.limit=-1&facet.limit=25&facet.field=author_facet&facet.field=language&facet.field=publish_year&facet.field=publisher_facet&facet.field=subject_facet&facet.field=person_facet&facet.field=place_facet&facet.field=time_facet'}
memcache.get 0.00156116485596
    {'hit': True, 'key': 'd/authors/OL657603A'}

Open Library is an initiative of the Internet Archive, a 501(c)(3) non-profit, building a digital library of Internet sites and other cultural artifacts in digital form.
Other projects include the Wayback Machine, archive.org, nasaimages.org, archive-it.org & opencontentalliance.org.

Your use of the Open Library is subject to the Internet Archive's Terms of Use.