Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
	Tác giả: Dirk Pattinson, Lutz Schröder
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Coalgebraic Methods in Computer Science [electronic resource] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected
	Tác giả: Marcello M Bonsangue
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2014.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Coalgebraic Methods in Computer Science [electronic resource] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised
	Tác giả: Ichiro Hasuo
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Coalgebraic Methods in Computer Science [electronic resource] : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised
	Tác giả: Corina Cîrstea
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Constructing correct software
	Tác giả: John Cooke
	Xuất bản: New York: Springer , 2005.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papers
	Tác giả: Bernhard K Aichernig, Frank S de Boer, Marcello M Bonsangue
	Xuất bản: Berlin ; New York: Springer , 2011.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004.015  Thêm vào giỏ

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European ...
	Tác giả: Alessandra Russo, Alessandra Russo, Andy Schürr, Andy Schürr
	Xuất bản: Cham: Springer Nature , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.1  Thêm vào giỏ

Design patterns formalization techniques
	Tác giả: Toufik Taibi
	Xuất bản: Hershey: IGI Publishing , 2007
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Verification techniques for system-level design [electronic resource]
	Tác giả: Masahiro Fujita, Indradeep Ghosh, Mukul Prasad
	Xuất bản: Amsterdam ; Boston: Morgan Kaufmann Publishers , 2008
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.3815  Thêm vào giỏ

Emotional cognitive neural algorithms with engineering applications : dynamic logic: from vague to crisp
	Tác giả: Leonid I Perlovsky, Ross Deming, Roman Ilin
	Xuất bản: New York: Springer , 2011.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.32  Thêm vào giỏ