Software Specification Methods

Henri Habrias · Marc Frappier

бер. 2013 р. · John Wiley & Sons

Електронна книга

418

Сторінки

Google не перевіряє оцінки й відгуки. Докладніше.

Про цю електронну книгу

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

Оцініть цю електронну книгу

Повідомте нас про свої враження.

Як читати

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

Установіть додаток Google Play Книги для Android і iPad або iPhone. Він автоматично синхронізується з вашим обліковим записом і дає змогу читати книги в режимах онлайн і офлайн, де б ви не були.

Портативні та настільні комп’ютери

Ви можете слухати аудіокниги, куплені в Google Play, у веб-переглядачі на комп’ютері.

eReader та інші пристрої

Щоб користуватися пристроями для читання електронних книг із технологією E-ink, наприклад Kobo, вам знадобиться завантажити файл і перенести його на відповідний пристрій. Докладні вказівки з перенесення файлів на підтримувані пристрої можна знайти в Довідковому центрі.

Поскаржитися на заборонений контент