Software Specification Methods

Henri Habrias · Marc Frappier

maalis 2013 · John Wiley & Sons

E-kirja

418

sivuja

Arvioita ja arvosteluja ei ole vahvistettu Lue lisää

Tietoa tästä e-kirjasta

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.

Tietoja kirjoittajasta

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Arvioi tämä e-kirja

Kerro meille mielipiteesi.

Tietoa lukemisesta

Älypuhelimet ja tabletit

Asenna Google Play Kirjat ‑sovellus Androidille tai iPadille/iPhonelle. Se synkronoituu automaattisesti tilisi kanssa, jolloin voit lukea online- tai offline-tilassa missä tahansa oletkin.

Kannettavat ja pöytätietokoneet

Voit kuunnella Google Playsta ostettuja äänikirjoja tietokoneesi selaimella.

Lukulaitteet ja muut laitteet

Jos haluat lukea kirjoja sähköisellä lukulaitteella, esim. Kobo-lukulaitteella, sinun täytyy ladata tiedosto ja siirtää se laitteellesi. Siirrä tiedostoja tuettuihin lukulaitteisiin seuraamalla ohjekeskuksen ohjeita.

Ilmoita laittomasta sisällöstä