Rajaa
Hakutulokset: using event-b for critical device software systems
Tuote, jota etsit (ISBN 9781979810388)
on loppunut kustantajalta tai ei muusta syystä ole tällä hetkellä saatavilla.
Etsimme kuitenkin kirjoja hakusanalla using event-b for critical device software systems , mikä antoi yksi hakutulos.
Etsimme kuitenkin kirjoja hakusanalla using event-b for critical device software systems , mikä antoi yksi hakutulos.
Rajaa
Using Event-B for Critical Device Software Systems
sidottu,
2013,
englanti,
ISBN 9781447152590
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book …