Modeling and Verification of Real-time Systems (Hardcover)

Idioma: inglés

Editorial: ISTE Ltd and John Wiley & Sons Inc, London, 2008

1848210132 / 9781848210134

  • Primera edición
  • Tapa dura
  • Nuevo
Ver todos los detalles

Librería: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 22 de junio de 2007

Ver los artículos de este vendedor
Tapa dura

Condición: Nuevo

EUR 401,09

Envío por EUR 31,69 
Se envía de Australia a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Descripción del artículo del vendedor

Hardcover. 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

N° de ref. del artículo 9781848210134

Título
Modeling and Verification of Real-time Systems (Hardcover)
Autor
Stephan Merz
Editorial
ISTE Ltd and John Wiley & Sons Inc, London
Año de publicación
2008
Estado
new
Encuadernación
Hardcover
Idioma
inglés
ISBN 10
1848210132
ISBN 13
9781848210134
Edición
1ª Edición

AussieBookSeller

Truganina, VIC, Australia

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 22 de junio de 2007

Tarifas de envío de Australia a Estados Unidos de America

ArtículoDe 25 a 45 días hábilesDe 8 a 14 días hábiles
Primer artículoEUR 31,69EUR 37,69
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

VisaMastercardAmerican ExpressCarte BleueApple PayGoogle Pay

Información empresarial del vendedor

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australia 3029