Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings


Book Informaton

Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Author

Catherine Dubois

Series

Lecture Notes in Computer Science

Volume

5668

Year of Publication

2009

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin

Pages

X, 169

Language

en

ISBN

9783642029486, 9783642029493, 3642029485

ARI Id

1664717258622


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo