Search

Your search returned 3 results.

Results
		No cover image available Formal description of programming concepts - II : proceedings of the IFIP working conference on formal description of programming concepts, Garmisch-Partenkirchen, FRG, 1-4 June, 1982 / edited by Dines Bjorner by IFIP working conference on formal description of programming concepts (1982 : Garmisch-Partenkirchen, FRG) \| . Series: Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1983Availability: Items available for loan: 1 Call number: 681.3.06 IFI:82. Place hold Add to cart (remove)
		No cover image available Formal description of programming concepts - III : proceedings of the IFIP TC 2/WG 2.2 working conference on formal description of programming concepts, Ebberup Denmark, 25-28 Aug., 1986 / edited by Martin Wirsing by IFIP TC 2 \| WG 2.2 working conference on formal description of programming concepts (1986 : Ebberup, Denmark) \| . Series: Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1987Availability: Items available for loan: 1 Call number: 681.3.06 IFI:86. Place hold Add to cart (remove)
		No cover image available Formal description of programming concepts : proceedings of the IFIP working conference on formal description of programming concepts, St. Andrews, N.B., Canada, Aug. 1-5, 1977 / edited by Erich J. Neuhold by IFIP working conference on formal description of programming concepts (1977 : St. Andrews, N.B., Canada) \| . Series: Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1978Availability: Items available for loan: 2 Call number: 681.3.06 IFI:77(2), ... Place hold Add to cart (remove)

Powered by Koha