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
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 …