Your search returned 7 results.

Results
	1.	Compiling natural semantics / Mikael Pettersson by Pettersson, Mikael Material type: Text; Literary form: Not fiction Publication details: Berlin: Springer, 1999 Availability: Items available for loan: Indore (1)Call number: 006.32 C6P3. Place hold
	2.	Axiomatising the logic of computer programming Goldblatt, Robert by Goldblatt, Robert Series: Lecture notes in computer science, no.130 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: Ahmedabad (1)Call number: 519.92 G6A9. Place hold
	3.	Generating language-based environments Thomas W. Reps by Reps, Thomas W Series: ACM Doctoral Dissertation Award Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Massachusetts MIT Press 1984 Availability: Items available for loan: Ahmedabad (1)Call number: 001.642 R3G3. Place hold
	4.	Formal semantics for VHDL / Carlos Delgado Kloos and Peter T Breuer by Kloos, Carlos Delgado (eds) Breuer, Peter T (eds) Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston : Kluwer Academic Pub, 1995 Availability: Items available for loan: Calcutta (1)Call number: 621.392 KLO. Place hold
	5.	A theory of programming language semantics / Robert Milne and Christipher Strachey by Milne, Roebrt Strachey, Christopher Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Chapman & Hall, 1976 Availability: Items available for loan: Calcutta (2)Call number: 005.131 MIL, ... Place hold
	6.	Formal description of programming concepts-II by Bjorner, Dines (ed) Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland, 1983 Availability: Items available for loan: Calcutta (1)Call number: 005.13 BJO. Place hold
	7.	Formal Languages and their relation to automata / John E Hopcroft and Jeffrey D Ullman by Hopcroft, John E Ullman, Jeffrey D Material type: Text; Format: print ; Literary form: Not fiction Publication details: Reading : Addison-Wesley, 1969 Availability: Items available for loan: Calcutta (1)Call number: 005.131 HOP. Place hold

Powered by Koha