Formal methods for industrial critical systems : a survey of applications
	Tác giả: Stefania Gnesi, Tiziana Margaria-Steffen
	Xuất bản: Hoboken New Jersey: John Wiley and Sons Incorporated, 2012
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.0151  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ỏ

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ỏ

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ỏ

Teamwork in multi-agent systems : a formal approach
	Tác giả: Barbara Dunin-K#eplicz, Rineke Verbrugge
	Xuất bản: Hoboken New Jersey: John Wiley, 2010
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  006.3  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ỏ

Process algebra for parallel and distributed processing
	Tác giả: Michael Alexander, William Gardner
	Xuất bản: Boca Raton: CRC Press, 2009
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Formal method : industrial use from model to the code
	Tác giả: Jean-Louis Boulanger
	Xuất bản: London Hoboken NJ: ISTE Wiley, c2012
	Bộ sưu tập: Xã hội, kinh tế, luật
	eBook (pdf) ddc:  385.028553  Thêm vào giỏ