Software Specification Methods

Henri Habrias · Marc Frappier

2013 оны 3-р сар · John Wiley & Sons

Электрон ном

418

Хуудас

Үнэлгээ болон шүүмжийг баталгаажуулаагүй Нэмэлт мэдээлэл авах

Энэ электрон номын тухай

This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.

Зохиогчийн тухай

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Энэ электрон номыг үнэлэх

Санал бодлоо хэлнэ үү.

Унших мэдээлэл

Ухаалаг утас болон таблет

Андройд болон iPad/iPhone-д Google Ном Унших аппыг суулгана уу. Үүнийг таны бүртгэлд автоматаар синк хийх бөгөөд та хүссэн газраасаа онлайн эсвэл офлайнаар унших боломжтой.

Зөөврийн болон ердийн компьютер

Та компьютерийн веб хөтчөөр Google Play-с авсан аудио номыг сонсох боломжтой.

eReaders болон бусад төхөөрөмжүүд

Kobo Цахим ном уншигч гэх мэт e-ink төхөөрөмжүүд дээр уншихын тулд та файлыг татаад төхөөрөмж рүүгээ дамжуулах шаардлагатай болно. Файлуудаа дэмжигддэг Цахим ном уншигч руу шилжүүлэхийн тулд Тусламжийн төвийн дэлгэрэнгүй зааварчилгааг дагана уу.

Хууль бус контентыг мэдээлэх