TY - BOOK ID - 147796275 TI - Mathematical Methods of Specification and Synthesis of Software Systems ‘85 AU - Bartoszek, Jerzy AU - Bergstra, J A AU - Bibel, W AU - Bibel, Wolfgang AU - Botusharov, O AU - Cybulka, Jolanta AU - Daley, R P AU - Dilger, Werner AU - Ejsmont, Marek AU - Habasinski, Z AU - Jantke, Klaus P AU - Klop, J M AU - Komjáth, Péter AU - Lange, Steffen AU - Loeckx, Jacques AU - Oantke, K P AU - Posthoff, Ch AU - Pötschke, Dieter AU - Reiß, J AU - Schäfer, Gisela AU - Shinohara, T AU - Skowron, A AU - Sviridenko, D I AU - Thalheim, B AU - Tyugu, E AU - Vershinin, KP AU - Wiehagen, Rolf AU - Zeugmann, T AU - Zsolt, Szabó AU - Goncharov, S S AU - Rasiowa, H AU - Womann, Wolfgang PY - 1987 SN - 9783112733417 PB - Berlin Boston DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:147796275 AB - ER -