Real-Time Systems: Formal Specification and Automatic Verification - Olderog, Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg, Germany) - Libros - Cambridge University Press - 9780521883337 - 11 de septiembre de 2008
En caso de que portada y título no coincidan, el título será el correcto

Olderog, Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg, Germany)
Real-Time Systems: Formal Specification and Automatic Verification

Precio
$ 133,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 11 de septiembre de 2008
ISBN13 9780521883337
Editores Cambridge University Press
Páginas 344
Dimensiones 249 × 180 × 18 mm   ·   810 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Olderog, Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg, Germany) ( Ej. Hardcover Book )