Koha online catalog › Results of search for 'su:"Temporal Logic"'

	1.	Logics for concurrency : structure versus automata by Moller, Faron \| Birtwistle, Graham. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1996Availability: Items available for loan: DAU [Call number: 004 MOL] (1). Place hold
	2.	Introduction to embedded systems, 2nd ed.: a cyber-physical systems approach by Ashford, edward. Edition: 2nd EdMaterial type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press; 2016Availability: Items available for loan: DAU [Call number: 005.74 ASH] (1). Place hold
	3.	Cloud computing book : the future of computing explained by Comer, Douglas. Publisher: Boca Raton : CRC Press, 2021Availability: Items available for loan: DAU [Call number: 004.6782 COM] (1). Place hold
	4.	Practical TLA+ : planning driven development by Wayne, Hillel. Publisher: New York : Apress, 2018Availability: Items available for loan: DAU [Call number: 005.13 WAY] (1). Place hold

Koha online