Abstract state machines

: theory and applications ; international workshop ; proceedings / ASM 2000, Monte Verità, Switzerland, March 19 - 24, 2000. Yuri Gurevich ... (ed.). - Berlin : Springer, 2000. - X, 379 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1912)

ISBN 978-3-540-67959-2 / 3-540-67959-6 kart. : DM 90.00

Literaturangaben

Quelle: DNB

Abstract state machines

: theory and applications ; international workshop ; proceedings / ASM 2000, Monte Verità, Switzerland, March 2000. Yuri Gurevich ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1912)

ISBN 978-3-540-44518-0

Lizenzpflichtig

Quelle: DNB

Börger, Egon: The classical decision problem

/ Egon Boerger ; Erich Grädel ; Yuri Gurevich. - Berlin : Springer, 1997. - XII, 482 S. : graph. Darst.; 24 cm - (Perspectives in mathematical logic)

ISBN 978-3-540-57073-8 / 3-540-57073-X Pp. : DM 158.00

Literaturverz. S. 421 - 476

Quelle: DNB

Börger, Egon: The classical decision problem

/ Egon Börger ; Erich Grädel ; Yuri Gurevich. - 2. printing of the 1. ed. - Berlin : Springer, 2001. - X, 482 S. : graph. Darst.; 24 cm - (Universitext)

ISBN 978-3-540-42324-9 / 3-540-42324-9 kart. : DM 96.19

Quelle: DNB

Tests and proofs

: first international conference ; revised papers / TAP 2007, Zurich, Switzerland, February 12 - 13, 2007. Yuri Gurevich ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4454)

ISBN 978-3-540-73770-4

Lizenzpflichtig

Quelle: DNB

Tests and proofs

: first international conference ; revised papers / TAP 2007, Zurich, Switzerland, February 12 - 13, 2007. Yuri Gurevich ; Bertrand Meyer (ed.). - Berlin : Springer, 2007. - VIII, 216 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4454)

ISBN 978-3-540-73769-8 / 3-540-73769-3 kart. : EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen