Software Specification Methods

Henri Habrias · Marc Frappier

၂၀၁၃ မတ် · John Wiley & Sons

E-စာအုပ်

418

မျက်နှာ

အဆင့်သတ်မှတ်ချက်နှင့် သုံးသပ်ချက်များကို အတည်ပြုမထားပါ ပိုမိုလေ့လာရန်

ဤ E-စာအုပ်အကြောင်း

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

ဤ E-စာအုပ်ကို အဆင့်သတ်မှတ်ပါ

သင့်အမြင်ကို ပြောပြပါ။

သတင်းအချက်အလက် ဖတ်နေသည်

စမတ်ဖုန်းများနှင့် တက်ဘလက်များ

Android နှင့် iPad/iPhone တို့အတွက် Google Play Books အက်ပ် ကို ထည့်သွင်းပါ။ ၎င်းသည် သင့်အကောင့်နှင့် အလိုအလျောက် စင့်ခ်လုပ်ပေးပြီး နေရာမရွေး အွန်လိုင်းတွင်ဖြစ်စေ သို့မဟုတ် အော့ဖ်လိုင်းတွင်ဖြစ်စေ ဖတ်ရှုခွင့်ရရှိစေပါသည်။

လက်တော့ပ်များနှင့် ကွန်ပျူတာများ

Google Play မှတစ်ဆင့် ဝယ်ယူထားသော အော်ဒီယိုစာအုပ်များအား သင့်ကွန်ပျူတာ၏ ဝဘ်ဘရောင်ဇာကို အသုံးပြု၍ နားဆင်နိုင်ပါသည်။

eReaders နှင့် အခြားကိရိယာများ

Kobo eReader များကဲ့သို့ e-ink စက်ပစ္စည်းပေါ်တွင် ဖတ်ရှုရန် ဖိုင်ကို ဒေါင်းလုဒ်လုပ်ပြီး သင့်စက်ထဲသို့ လွှဲပြောင်းပေးရမည်။ ထောက်ပံ့ထားသည့် eReader များသို့ ဖိုင်များကို လွှဲပြောင်းရန် ကူညီရေးဌာန အသေးစိတ် ညွှန်ကြားချက်များအတိုင်း လုပ်ဆောင်ပါ။

တရားမဝင်အချက်အလက် တိုင်ကြားရန်