Software Specification Methods

Henri Habrias · Marc Frappier

mar 2013. · John Wiley & Sons

E-knjiga

418

Broj stranica

Ocjene i recenzije nisu potvrđene 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

Ocijenite ovu e-knjigu

Recite nam šta mislite.

Informacije o čitanju

Pametni telefoni i tableti

Instalirajte aplikaciju Google Play Knjige za Android i iPad/iPhone uređaje. Aplikacija se automatski sinhronizira s vašim računom i omogućava vam čitanje na mreži ili van nje gdje god da se nalazite.

Laptopi i računari

Audio knjige koje su kupljene na Google Playu možete slušati pomoću web preglednika na vašem računaru.

Elektronički čitači i ostali uređaji

Da čitate na e-ink uređajima kao što su Kobo e-čitači, morat ćete preuzeti fajl i prenijeti ga na uređaj. Pratite detaljne upute Centra za pomoć da prenesete fajlove na podržane e-čitače.

Prijavite nezakonit sadržaj