Näita mobiiliversiooni

Liigu sisu juurde Liigu peamenüü juurde

Avaleht / Raamatud / Arvutid / Käsiraamatud / Modeling in Event-B

Raamat

Modeling in Event-B

Autor: Jean-Raymond Abrial

* * * * * * * * * * Loe arvustusi (0)

Toode pole saadaval

Sisukirjeldus

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels.

Lisainfo
ISBN 9780521895569
Ilmumisaasta 2010
Keel ingliskeelne
Formaat Kõvakaaneline
Lehekülgi 612 lk
Kirjastus CAMBRIDGE UNIVERSITY PRESS
Lisamise aeg: 01.08.2018

Toode pole saadaval

Arvustused (0)
  • Arvustuse jätmiseks palume e-poodi sisse logida.

Suhtlusvõrkude arvustused

Vabandame! Teie veebilehitseja on liiga väike meie kodulehe külastamiseks.

We're sorry! Your browser is too small for this website.

Приносим извинения! Размеры вашего браузера слишком малы для посещения нашей страницы.