Formal methods in programming and their applications

: international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings / Dines Bjørner ... (ed.). - Berlin : Springer, 1993. - IX, 433 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 735)

ISBN 978-3-540-57316-6 / 3-540-57316-X kart. : DM 80.00

Literaturangaben

Quelle: DNB

Logics of specification languages

/ Dines Bjørner ; Martin C. Henson ed.. - Berlin : Springer, 2008. - XXI, 623 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)

ISBN 978-3-540-74106-0 / 3-540-74106-2 Pp. : EUR 96.25 (freier Pr.), sfr 157.00 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Perspectives of system informatics

: revised papers / 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001. D. Bjørner ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2244)

ISBN 978-3-540-45575-2

Lizenzpflichtig

Quelle: DNB

Perspectives of system informatics

: proceedings / Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999. D. Bjørner ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1755)

ISBN 978-3-540-46562-1

Lizenzpflichtig

Quelle: DNB

Perspectives of system informatics

: proceedings / Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996. Dines Bjørner ... (ed.). - Berlin : Springer, 1996. - XVII, 446 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1181)

ISBN 978-3-540-62064-8 / 3-540-62064-8 kart. : DM 94.00

Literaturangaben

Quelle: DNB