Software Specification Methods

Henri Habrias · Marc Frappier

Mas 2013 · John Wiley & Sons

I-Ebook

418

Amakhasi

Izilinganiso nezibuyekezo aziqinisekisiwe Funda Kabanzi

Mayelana nale ebook

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.

Mayelana nomlobi

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Nikeza le ebook isilinganiso

Sitshele ukuthi ucabangani.

Ulwazi lokufunda

Amasmathifoni namathebulethi

Faka uhlelo lokusebenza lwe-Google Play Amabhuku lwe-Android ne-iPad/iPhone. Livunyelaniswa ngokuzenzakalela ne-akhawunti yakho liphinde likuvumele ukuthi ufunde uxhunywe ku-inthanethi noma ungaxhunyiwe noma ngabe ukuphi.

Amakhompyutha aphathekayo namakhompyutha

Ungalalela ama-audiobook athengwe ku-Google Play usebenzisa isiphequluli sewebhu sekhompuyutha yakho.

Ama-eReaders namanye amadivayisi

Ukuze ufunde kumadivayisi e-e-ink afana ne-Kobo eReaders, uzodinga ukudawuniloda ifayela futhi ulidlulisele kudivayisi yakho. Landela imiyalelo Yesikhungo Sosizo eningiliziwe ukuze udlulise amafayela kuma-eReader asekelwayo.

Bika okuqukethwe okungekho emthethweni