Logic in Computer Science [electronic resource] : Modelling and Reasoning about Systems
	Tác giả: Michael Huth, Mark Ryan
	Xuất bản: Cambridge: Cambridge University Press , 2004.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004.015113  Thêm vào giỏ

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki
	Tác giả: Amal Ahmed
	Xuất bản: Cham: Springer Nature , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Automata, Languages and Programming [electronic resource] : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
	Tác giả: Luis Caires, Guiseppe F Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004  Thêm vào giỏ

Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020
	Tác giả: Jean Goubault-Larrecq, Jean Goubault-Larrecq, Barbara König, Barbara König
	Xuất bản: Cham: Springer Nature , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
	Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
	Xuất bản: Cham, Switzerland: Springer Nature , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.24  Thêm vào giỏ

Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of ...
	Tác giả: Ali E Abdallah, Cliff B Jones, Jeff W Sanders
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019
	Tác giả: Mikołaj Bojańczyk, Mikołaj Bojańczyk, Alex Simpson, Alex Simpson
	Xuất bản: Cham, Switzerland: Springer Nature , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021
	Tác giả: Stefan Kiefer, Stefan Kiefer, Christine Tasson, Christine Tasson
	Xuất bản: Cham, Switzerland: Springer Nature , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice
	Tác giả: Jean Goubault-Larrecq, Barbara König
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Nobuko Yoshida
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.13  Thêm vào giỏ