The RAISE specification language /

QR Kod

The RAISE specification language /

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	RAISE Language Group.
Materyal Türü:	Sách giấy
Baskı/Yayın Bilgisi:	New York : Prentice Hall, 1992.
Seri Bilgileri:	BCS practitioner series
Konular:	Software engineering.
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Domain-Specific Languages
Baskı/Yayın Bilgisi: (2020)

Logics of Specification Languages
Yazar:: Bjørner, Dines, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advances in software engineering and knowledge engineering /
Baskı/Yayın Bilgisi: (1993)

Tools for working with guidelines : annual meeting of the special interest group /
Baskı/Yayın Bilgisi: (2000)

Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 5-8, 2000 : proceedings /
Baskı/Yayın Bilgisi: (2001)

ZB 2005: Formal Specification and Development in Z and B
Baskı/Yayın Bilgisi: (2020)

Semantics and Algebraic Specification
Baskı/Yayın Bilgisi: (2020)

Software Language Engineering
Baskı/Yayın Bilgisi: (2020)

Software Engineering: Specification, Implementation, Verification
Yazar:: Alagić, Suad
Baskı/Yayın Bilgisi: (2020)

Transactions on Pattern Languages of Programming I
Baskı/Yayın Bilgisi: (2020)

Software Languages
Yazar:: Lämmel, Ralf
Baskı/Yayın Bilgisi: (2020)

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Baskı/Yayın Bilgisi: (2001)

Hudson continuous integration in practice /
Yazar:: Burns, Ed.
Baskı/Yayın Bilgisi: (2014)

Advances in Design and Specification Languages for SoCs
Yazar:: Boulet, Pierre
Baskı/Yayın Bilgisi: (2020)

Testing computer software /
Yazar:: Kaner, Cem.
Baskı/Yayın Bilgisi: (1993)

Computer-aided specification techniques /
Yazar:: Demetrovics, János.
Baskı/Yayın Bilgisi: (1985)

Coordination Models and Languages
Yazar:: Serugendo, Giovanna Di Marzo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Architecture Description Languages
Baskı/Yayın Bilgisi: (2020)

Coordination Models and Languages
Yazar:: Jacquet, Jean-Marie, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Embedded Systems Specification and Design Languages
Yazar:: Villar, Eugenio
Baskı/Yayın Bilgisi: (2020)

Creating a database and specific software for state management
Yazar:: Le, Phuoc Phuc
Baskı/Yayın Bilgisi: (2022)

Domain-specific application frameworks: Framworks experience by industry
Baskı/Yayın Bilgisi: (1999)

Coordination Models and Languages
Yazar:: Lea, Doug, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Coordination Models and Languages
Baskı/Yayın Bilgisi: (2020)

Object-oriented and classical software engineering /
Yazar:: Schach, Stephen R.
Baskı/Yayın Bilgisi: (2005)

Object-oriented and classical software engineering /
Yazar:: Schach, Stephen R.
Baskı/Yayın Bilgisi: (2002)

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 /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (2001)

Linux kernel programming : algorithms and structures of version 2.4 /
Baskı/Yayın Bilgisi: (2002)

Advances in Design and Specification Languages for Embedded Systems
Yazar:: Huss, Sorin Alexander
Baskı/Yayın Bilgisi: (2020)

Java programming for Android developers for dummies /
Yazar:: Burd, Barry,
Baskı/Yayın Bilgisi: (2017)

Java programming for Android developers for dummies /
Yazar:: Burd, Barry,
Baskı/Yayın Bilgisi: (2017)

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
Yazar:: Khendek, Ferhat, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Fundamental Approaches to Software Engineering
Yazar:: Gnesi, Stefania, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Software engineering: A practitioner's approach /
Yazar:: Pressman Roger S
Baskı/Yayın Bilgisi: (2001)

Programming Languages and Systems
Yazar:: Shao, Zhong
Baskı/Yayın Bilgisi: (2020)

Database design, application development, and administration /
Yazar:: Mannino, Michael V.
Baskı/Yayın Bilgisi: (2004)

Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Baskı/Yayın Bilgisi: (2002)

Beginning iOS programming : building and deploying iOS applications /
Yazar:: Harris, Nick,
Baskı/Yayın Bilgisi: (2014)

UML Modeling Languages and Applications
Baskı/Yayın Bilgisi: (2020)