Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

2007

Tests and proofs : first International Conference, TAP 2007 : Zurich, Switzerland, February 12-13, 2007 : revised papers

Základní údaje

Originální název

Tests and proofs : first International Conference, TAP 2007 : Zurich, Switzerland, February 12-13, 2007 : revised papers

Autoři

Edited by Yuri Gurevich - Bertrand Meyer.

Vydání

Berlin, viii, 216, 2007

Nakladatel

Springer

Další údaje

ISBN

9783540737698

Změněno: 8. 8. 2022 13:38, Záznam byl importován z knihovního systému.

Citovat

ČSN ISO 690
BibTeX
LaTeX
RIS

Tests and proofs : first International Conference, TAP 2007 : Zurich, Switzerland, February 12-13, 2007 : revised papers. Edited by Yuri Gurevich - Bertrand Meyer. Berlin: Springer, 2007, viii, 216. ISBN 9783540737698.

\textit{Tests and proofs : first International Conference, TAP 2007 : Zurich, Switzerland, February 12-13, 2007 : revised papers}. Edited by Yuri Gurevich - Bertrand Meyer. Berlin: Springer, 2007, viii, 216. ISBN~9783540737698.