Software Specification Methods

Henri Habrias · Marc Frappier

2013 ж. нау. · John Wiley & Sons

Электрондық кітап

418

бет

Рейтингілер мен пікірлер тексерілмеген. Толығырақ

Осы электрондық кітап туралы ақпарат

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.

Авторы туралы

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Осы электрондық кітапты бағалаңыз.

Пікіріңізбен бөлісіңіз.

Ақпаратты оқу

Смартфондар мен планшеттер

Android және iPad/iPhone үшін Google Play Books қолданбасын орнатыңыз. Ол аккаунтпен автоматты түрде синхрондалады және қайда болсаңыз да, онлайн не офлайн режимде оқуға мүмкіндік береді.

Ноутбуктар мен компьютерлер

Google Play дүкенінде сатып алған аудиокітаптарды компьютердің браузерінде тыңдауыңызға болады.

eReader және басқа құрылғылар

Kobo eReader сияқты E-ink технологиясымен жұмыс істейтін құрылғылардан оқу үшін файлды жүктеп, оны құрылғыға жіберу керек. Қолдау көрсетілетін eReader құрылғысына файл жіберу үшін Анықтама орталығының нұсқауларын орындаңыз.

Заңсыз контент туралы хабарлау