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
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 05.10.1993
Umfang: ix, 438 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540573166
Umbreit-Nr.: 1506215
