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ä antoiyhteensä 2 hakutulosta
Etsimme kuitenkin kirjoja hakusanalla using event-b for critical device software systems , mikä antoiyhteensä 2 hakutulosta
Rajaa
Using Event-B for Critical Device Software Systems
nidottu,
2017,
englanti,
ISBN 9781981128860
Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is …
Using Event-B for Critical Device Software Systems
nidottu,
2015,
englanti,
ISBN 9781447157908
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 …