Software Specification Methods

Henri Habrias · Marc Frappier

ožu 2013. · John Wiley & Sons

E-knjiga

418

str.

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 što mislite.

Informacije o čitanju

Pametni telefoni i tableti

Instalirajte aplikaciju Google Play knjige za Android i iPad/iPhone. Automatski se sinkronizira s vašim računom i omogućuje vam da čitate online ili offline gdje god bili.

Prijenosna i stolna računala

Audioknjige kupljene na Google Playu možete slušati pomoću web-preglednika na računalu.

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

Za čitanje na uređajima s elektroničkom tintom, kao što su Kobo e-čitači, trebate preuzeti datoteku i prenijeti je na svoj uređaj. Slijedite detaljne upute u centru za pomoć za prijenos datoteka na podržane e-čitače.

Prijavljivanje nezakonitog sadržaja