Software Specification Methods

Henri Habrias · Marc Frappier

mar. 2013 · John Wiley & Sons

Rafbók

418

Síður

Einkunnir og umsagnir eru ekki staðfestar Nánar

Um þessa rafbók

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.

Um höfundinn

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Gefa þessari rafbók einkunn.

Segðu okkur hvað þér finnst.

Upplýsingar um lestur

Snjallsímar og spjaldtölvur

Settu upp forritið Google Play Books fyrir Android og iPad/iPhone. Það samstillist sjálfkrafa við reikninginn þinn og gerir þér kleift að lesa með eða án nettengingar hvar sem þú ert.

Fartölvur og tölvur

Hægt er að hlusta á hljóðbækur sem keyptar eru í Google Play í vafranum í tölvunni.

Lesbretti og önnur tæki

Til að lesa af lesbrettum eins og Kobo-lesbrettum þarftu að hlaða niður skrá og flytja hana yfir í tækið þitt. Fylgdu nákvæmum leiðbeiningum hjálparmiðstöðvar til að flytja skrár yfir í studd lesbretti.

Tilkynna ólöglegt efni