![](https://image.librarything.com/pics/fugue21/magnifier-left.png)
![](https://pics.cdn.librarything.com//picsizes/9c/58/9c58ff326c3450a5a31593438774b3041414141_v7.jpg)
Auf ein Miniaturbild klicken, um zu Google Books zu gelangen.
Lädt ... Towards verified systemsvon J. P. Bowen
Keine Tags Keine Keine aktuelle Diskussion zu diesem Buch. Keine Rezensionen keine Rezensionen | Rezension hinzufügen
As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where human lives are at stake. The use of software in such systems has increased enormously in the last decade. Formal methods, based on firm mathematical foundations, provide one means to help with reducing the risk of introducing errors during specification and development. There is currently much interest in both academic and industrial circles concerning the issues involved, but the techniques still Keine Bibliotheksbeschreibungen gefunden. |
Aktuelle DiskussionenKeineBeliebte UmschlagbilderKeine
![]() GenresMelvil Decimal System (DDC)004.33Information Computer Science; Knowledge and Systems Computer science Modes Of Processing Real-Time computingKlassifikation der Library of Congress [LCC] (USA)BewertungDurchschnitt: Keine Bewertungen. |