Person Yuri GurevichYuri Gurevich bei Springer Berlinletzte lieferbare Neuerscheinungen: Tests and ProofsFirst International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised PapersSpringer BerlineBook200753,49 € Tests and ProofsFirst International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised PapersSpringer BerlinSoftcover200753,49 € Tests and ProofsFirst International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised PapersSpringer BerlineBook200753,49 € Tests and ProofsFirst International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised PapersSpringer BerlinSoftcover200753,49 € Computer Science Logic7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected PapersSpringer BerlineBook200653,49 € Abstract State Machines - Theory and ApplicationsInternational Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 ProceedingsSpringer BerlineBook200353,49 € The Classical Decision Problem Egon BörgerSpringer BerlinSoftcover2001192,59 € Abstract State Machines - Theory and ApplicationsInternational Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 ProceedingsSpringer BerlinSoftcover200053,49 € Computer Science Logic7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected PapersSpringer BerlinSoftcover199453,49 €