Software Specification Methods

Henri Habrias · Marc Frappier

mar, 2013 · John Wiley & Sons

E-kitob

418

Sahifalar soni

Reytinglar va sharhlar tasdiqlanmagan Batafsil

Bu e-kitob haqida

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.

Muallif haqida

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Bu e-kitobni baholang

Fikringizni bildiring.

Qayerda o‘qiladi

Smartfonlar va planshetlar

Android va iPad/iPhone uchun mo‘ljallangan Google Play Kitoblar ilovasini o‘rnating. U hisobingiz bilan avtomatik tazrda sinxronlanadi va hatto oflayn rejimda ham kitob o‘qish imkonini beradi.

Noutbuklar va kompyuterlar

Google Play orqali sotib olingan audiokitoblarni brauzer yordamida tinglash mumkin.

Kitob o‘qish uchun mo‘ljallangan qurilmalar

Kitoblarni Kobo e-riderlar kabi e-siyoh qurilmalarida oʻqish uchun faylni yuklab olish va qurilmaga koʻchirish kerak. Fayllarni e-riderlarga koʻchirish haqida batafsil axborotni Yordam markazidan olishingiz mumkin.

Noqonuniy kontent deb xabar berish