Software Specification Methods

Henri Habrias · Marc Frappier

Mar 2013 · John Wiley & Sons

E-book

418

Mga Page

Hindi na-verify ang mga rating at review Matuto Pa

Tungkol sa ebook na ito

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.

Tungkol sa may-akda

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

I-rate ang e-book na ito

Ipalaam sa amin ang iyong opinyon.

Impormasyon sa pagbabasa

Mga smartphone at tablet

I-install ang Google Play Books app para sa Android at iPad/iPhone. Awtomatiko itong nagsi-sync sa account mo at nagbibigay-daan sa iyong magbasa online o offline nasaan ka man.

Mga laptop at computer

Maaari kang makinig sa mga audiobook na binili sa Google Play gamit ang web browser ng iyong computer.

Mga eReader at iba pang mga device

Para magbasa tungkol sa mga e-ink device gaya ng mga Kobo eReader, kakailanganin mong mag-download ng file at ilipat ito sa iyong device. Sundin ang mga detalyadong tagubilin sa Help Center para mailipat ang mga file sa mga sinusuportahang eReader.

Mag-ulat ng ilegal na content