Software Specification Methods

Henri Habrias · Marc Frappier

ມ.ນ. 2013 · John Wiley & Sons

ປຶ້ມອີບຸກ

418

ໜ້າ

ບໍ່ໄດ້ຢັ້ງຢືນການຈັດອັນດັບ ແລະ ຄຳຕິຊົມ ສຶກສາເພີ່ມເຕີມ

ກ່ຽວກັບປຶ້ມ e-book ນີ້

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-book ນີ້

ບອກພວກເຮົາວ່າທ່ານຄິດແນວໃດ.

ອ່ານຂໍ້ມູນຂ່າວສານ

ສະມາດໂຟນ ແລະ ແທັບເລັດ

ຕິດຕັ້ງ ແອັບ Google Play Books ສຳລັບ Android ແລະ iPad/iPhone. ມັນຊິ້ງຂໍ້ມູນໂດຍອັດຕະໂນມັດກັບບັນຊີຂອງທ່ານ ແລະ ອະນຸຍາດໃຫ້ທ່ານອ່ານທາງອອນລາຍ ຫຼື ແບບອອບລາຍໄດ້ ບໍ່ວ່າທ່ານຈະຢູ່ໃສ.

ແລັບທັອບ ແລະ ຄອມພິວເຕີ

ທ່ານສາມາດຟັງປຶ້ມສຽງທີ່ຊື້ໃນ Google Play ໂດຍໃຊ້ໂປຣແກຣມທ່ອງເວັບຂອງຄອມພິວເຕີຂອງທ່ານໄດ້.

eReaders ແລະອຸປະກອນອື່ນໆ

ເພື່ອອ່ານໃນອຸປະກອນ e-ink ເຊັ່ນ: Kobo eReader, ທ່ານຈຳເປັນຕ້ອງດາວໂຫຼດໄຟລ໌ ແລະ ໂອນຍ້າຍມັນໄປໃສ່ອຸປະກອນຂອງທ່ານກ່ອນ. ປະຕິບັດຕາມຄຳແນະນຳລະອຽດຂອງ ສູນຊ່ວຍເຫຼືອ ເພື່ອໂອນຍ້າຍໄຟລ໌ໄໃສ່ eReader ທີ່ຮອງຮັບ.

ລາຍງານເນື້ອຫາທີ່ຜິດກົດໝາຍ