Pastāsti draugiem par šo preci:
Real-Time Systems: Formal Specification and Automatic Verification Olderog, Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg, Germany)
Cena
€ 134,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 25. sept. - . gada 5. okt.
Saņemiet paziņojumus par jauniem Olderog, Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg, Germany) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Real-Time Systems: Formal Specification and Automatic Verification
Olderog, Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg, Germany)
An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata.
344 pages, 26 b/w illus. 26 tables 50 exercises
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2008. gada 11. septembris |
| ISBN13 | 9780521883337 |
| Izdevēji | Cambridge University Press |
| Lapas | 344 |
| Izmēri | 249 × 180 × 18 mm · 810 g |
| Valoda | Angļu |
