Suchergebnisse für "Dines Bjørner/Manfred Broy/Igor V Pottosin"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Dines Bjørner/Manfred Broy/Igor V Pottosin" gefunden.
Katalogsuche
Formal Methods in Programming and Their Applications
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2,1993.Proceedings, Lecture Notes in Computer Science 735
Dines Bjørner/Manfred Broy/Igor V Pottosin
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Perspectives of System Informatics
Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28,1996; Proceedings, Lecture Notes in Computer Science 1181
Dines Bjørner/Manfred Broy/Igor V Pottosin
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
