Software Specification Methods

Henri Habrias · Marc Frappier

Mac 2013 · John Wiley & Sons

e-Buku

418

Halaman

Rating dan ulasan tidak disahkan Ketahui Lebih Lanjut

Perihal e-buku ini

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.

Perihal pengarang

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Berikan rating untuk e-Buku ini

Beritahu kami pendapat anda.

Maklumat pembacaan

Telefon pintar dan tablet

Pasang apl Google Play Books untuk Android dan iPad/iPhone. Apl ini menyegerak secara automatik dengan akaun anda dan membenarkan anda membaca di dalam atau luar talian, walau di mana jua anda berada.

Komputer riba dan komputer

Anda boleh mendengar buku audio yang dibeli di Google Play menggunakan penyemak imbas web komputer anda.

eReader dan peranti lain

Untuk membaca pada peranti e-dakwat seperti Kobo eReaders, anda perlu memuat turun fail dan memindahkan fail itu ke peranti anda. Sila ikut arahan Pusat Bantuan yang terperinci untuk memindahkan fail ke e-Pembaca yang disokong.

Laporkan kandungan haram