Software Specification Methods

Henri Habrias · Marc Frappier

mar. 2013 · John Wiley & Sons

E-knjiga

418

Strani

Ocene in mnenja niso preverjeni. Več o tem

O tej e-knjigi

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 avtorju

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Ocenite to e-knjigo

Povejte nam svoje mnenje.

Informacije o branju

Pametni telefoni in tablični računalniki

Namestite aplikacijo Knjige Google Play za Android in iPad/iPhone. Samodejno se sinhronizira z računom in kjer koli omogoča branje s povezavo ali brez nje.

Prenosni in namizni računalniki

Poslušate lahko zvočne knjige, ki ste jih kupili v Googlu Play v brskalniku računalnika.

Bralniki e-knjig in druge naprave

Če želite brati v napravah, ki imajo zaslone z e-črnilom, kot so e-bralniki Kobo, morate prenesti datoteko in jo kopirati v napravo. Podrobna navodila za prenos datotek v podprte bralnike e-knjig najdete v centru za pomoč.

Prijava nezakonite vsebine