Le développement du logiciel: Ingénierie des méthodes

QR Kod

Le développement du logiciel: Ingénierie des méthodes

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Alphonse Carlier
Materyal Türü:	Kitap
Dil:	Undetermined
Baskı/Yayın Bilgisi:	Paris Hermès 1995
Konular:	computer software - development,information science - study and teaching,programming languages ( electronic computers ),sofware engineering
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Benzer Materyaller

Le développement du logiciel /
Yazar:: Carlier Alphonse
Baskı/Yayın Bilgisi: (1995)

Le développenment du logiciel /
Yazar:: Carlier, Alphonse.
Baskı/Yayın Bilgisi: (1995)

Guide pratique de la micro infomatique et des logiciels educatifs
Baskı/Yayın Bilgisi: (1985)

Le dévelopment du logiciel: ingénerie des méthodes
Yazar:: Carlier, Alphonese
Baskı/Yayın Bilgisi: (1995)

L'ingénierie de projets de développement
Yazar:: Guy le Boterf
Baskı/Yayın Bilgisi: (1990)

Systems Analysis and Design /
Yazar:: V. Mannino Michael
Baskı/Yayın Bilgisi: (2007)

Ingénierie des données :
Yazar:: Pichat, Étienne
Baskı/Yayın Bilgisi: (1990)

Mô phỏng kiến trúc mạng software defined network sử dụng CISCO APIC-EM
Yazar:: Vũ, Minh Quan
Baskı/Yayın Bilgisi: (2021)

Bài giảng chương trình dịch
Yazar:: Nguyễn Văn Linh
Baskı/Yayın Bilgisi: (1999)

Agile Methods
Yazar:: Santos, Viviane Almeida dos, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Le developpment des peuples
Baskı/Yayın Bilgisi: (1967)

Mô phỏng kiến trúc mạng software defined network sử dụng CISCO APIC-EM
Yazar:: Vũ, Minh Quan
Baskı/Yayın Bilgisi: (2024)

Agile Methods
Yazar:: Silva, Tiago Silva da, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Kĩ nghệ phần mềm
Yazar:: Roger S Pressman
Baskı/Yayın Bilgisi: (1999)

Software engineering :
Yazar:: Vliet, Hans van
Baskı/Yayın Bilgisi: (2002)

Formal Methods and Testing
Yazar:: Hierons, Robert M., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Nhập môn hệ chuyên gia
Yazar:: Trần, Thành Trai
Baskı/Yayın Bilgisi: (1995)

FM 2009: Formal Methods
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Components and Objects
Yazar:: Boer, Frank S. de, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Components and Objects
Yazar:: Boer, Frank S. de, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Yazar:: Lau, Kung-Kiu, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Microsoft Windows software development kit.
Baskı/Yayın Bilgisi: (2000)

Formal Methods for Computational Systems Biology
Yazar:: Bernardo, Marco, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Industrial Critical Systems
Baskı/Yayın Bilgisi: (2020)

FM 2008: Formal Methods
Yazar:: Cuellar, Jorge, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Web Services
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Hybrid Real-Time Systems
Yazar:: Jones, Cliff B., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Yazar:: Duan, Zhenhua, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Quality: Methods and Tools for Better Software and Systems
Yazar:: Winkler, Dietmar, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Yazar:: Bernardo, Marco, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Professional Eclipse 3 for Java developers /
Yazar:: Daum, Berthold, 1949-
Baskı/Yayın Bilgisi: (2005)

The rational unified process an introduction
Yazar:: Philippe Kruchten
Baskı/Yayın Bilgisi: (2000)

Transactions on Aspect-Oriented Software Development XII
Yazar:: Chiba, S, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

How to succeed in the enterprise software market
Yazar:: Clair, Craig Le
Baskı/Yayın Bilgisi: (2005)

Integrated Formal Methods
Baskı/Yayın Bilgisi: (2020)

FM 2005: Formal Methods
Baskı/Yayın Bilgisi: (2020)

TraceME: A Traceability-Based Method for Conceptual Model Evolution
Yazar:: Ruiz, Marcela
Baskı/Yayın Bilgisi: (2020)

Structured Object-Oriented Formal Language and Method
Yazar:: Liu, Shaoying, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Yazar:: Butler, Michael, ve diğerleri
Baskı/Yayın Bilgisi: (2020)