The RAISE specification language /

Mã QR

The RAISE specification language /

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	RAISE Language Group.
Định dạng:	Sách giấy
Được phát hành:	New York : Prentice Hall, 1992.
Loạt:	BCS practitioner series
Những chủ đề:	Software engineering.
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Domain-Specific Languages
Được phát hành: (2020)

Logics of Specification Languages
Bỡi: Bjørner, Dines, et al.
Được phát hành: (2020)

Advances in software engineering and knowledge engineering /
Được phát hành: (1993)

Tools for working with guidelines : annual meeting of the special interest group /
Được phát hành: (2000)

Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 5-8, 2000 : proceedings /
Được phát hành: (2001)

Semantics and Algebraic Specification
Được phát hành: (2020)

ZB 2005: Formal Specification and Development in Z and B
Được phát hành: (2020)

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Được phát hành: (2001)

Hudson continuous integration in practice /
Bỡi: Burns, Ed.
Được phát hành: (2014)

Software Engineering: Specification, Implementation, Verification
Bỡi: Alagić, Suad
Được phát hành: (2020)

Computer-aided specification techniques /
Bỡi: Demetrovics, János.
Được phát hành: (1985)

Testing computer software /
Bỡi: Kaner, Cem.
Được phát hành: (1993)

Software Language Engineering
Được phát hành: (2020)

Transactions on Pattern Languages of Programming I
Được phát hành: (2020)

Software Languages
Bỡi: Lämmel, Ralf
Được phát hành: (2020)

Advances in Design and Specification Languages for SoCs
Bỡi: Boulet, Pierre
Được phát hành: (2020)

Domain-specific application frameworks: Framworks experience by industry
Được phát hành: (1999)

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Được phát hành: (2001)

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Được phát hành: (2001)

Linux kernel programming : algorithms and structures of version 2.4 /
Được phát hành: (2002)

Object-oriented and classical software engineering /
Bỡi: Schach, Stephen R.
Được phát hành: (2005)

Object-oriented and classical software engineering /
Bỡi: Schach, Stephen R.
Được phát hành: (2002)

Embedded Systems Specification and Design Languages
Bỡi: Villar, Eugenio
Được phát hành: (2020)

Java programming for Android developers for dummies /
Bỡi: Burd, Barry,
Được phát hành: (2017)

Java programming for Android developers for dummies /
Bỡi: Burd, Barry,
Được phát hành: (2017)

Database design, application development, and administration /
Bỡi: Mannino, Michael V.
Được phát hành: (2004)

Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Được phát hành: (2002)

Beginning iOS programming : building and deploying iOS applications /
Bỡi: Harris, Nick,
Được phát hành: (2014)

Coordination Models and Languages
Bỡi: Serugendo, Giovanna Di Marzo, et al.
Được phát hành: (2020)

Coordination Models and Languages
Bỡi: Jacquet, Jean-Marie, et al.
Được phát hành: (2020)

Architecture Description Languages
Được phát hành: (2020)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Được phát hành: (2001)

Advances in Design and Specification Languages for Embedded Systems
Bỡi: Huss, Sorin Alexander
Được phát hành: (2020)

Coordination Models and Languages
Được phát hành: (2020)

Coordination Models and Languages
Bỡi: Lea, Doug, et al.
Được phát hành: (2020)

ADO.NET : The complete reference /
Bỡi: Otey, Michael, 1958-
Được phát hành: (2003)

Android game programming for dummies /
Bỡi: James, Derek (Game developer)
Được phát hành: (2013)

iOS cloud development for dummies /
Bỡi: Goldstein, Neal.
Được phát hành: (2012)

Programming Languages and Systems
Bỡi: Shao, Zhong
Được phát hành: (2020)

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
Bỡi: Khendek, Ferhat, et al.
Được phát hành: (2020)