SULJE VALIKKO

avaa valikko

Nicolas Navet | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?



Modeling and Verification of Real-time Systems - Formalisms and Software Tools
Nicolas Navet; Stephan Merz
ISTE Ltd and John Wiley & Sons Inc (2008)
Kovakantinen kirja
232,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automotive Embedded Systems Handbook
Nicolas Navet; Francoise Simonot-Lion
Taylor & Francis Inc (2008)
Kovakantinen kirja
236,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Modeling and Verification of Real-time Systems - Formalisms and Software Tools
232,60 €
ISTE Ltd and John Wiley & Sons Inc
Sivumäärä: 448 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2008, 10.03.2008 (lisätietoa)
Kieli: Englanti
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Modeling and Verification of Real-time Systems - Formalisms and Software Toolszoom
Näytä kaikki tuotetiedot
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste