Software Specification Methods

Henri Habrias · Marc Frappier

мар 2013. · John Wiley & Sons

E-knjiga

418

Stranica

Ocene i recenzije nisu verifikovane Saznajte više

O ovoj e-knjizi

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.

O autoru

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Ocenite ovu e-knjigu

Javite nam svoje mišljenje.

Informacije o čitanju

Pametni telefoni i tableti

Instalirajte aplikaciju Google Play knjige za Android i iPad/iPhone. Automatski se sinhronizuje sa nalogom i omogućava vam da čitate onlajn i oflajn gde god da se nalazite.

Laptopovi i računari

Možete da slušate audio-knjige kupljene na Google Play-u pomoću veb-pregledača na računaru.

E-čitači i drugi uređaji

Da biste čitali na uređajima koje koriste e-mastilo, kao što su Kobo e-čitači, treba da preuzmete fajl i prenesete ga na uređaj. Pratite detaljna uputstva iz centra za pomoć da biste preneli fajlove u podržane e-čitače.

Prijavite nezakonit sadržaj