Tracked shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Modeling and Verification of Real-Time Systems: Formalisms and Software Tools
Modeling and Verification of Real-Time Systems: Formalisms and Software ToolsModeling and Verification of Real-Time Systems: Formalisms and Software ToolsModeling and Verification of Real-Time Systems: Formalisms and Software ToolsModeling and Verification of Real-Time Systems: Formalisms and Software Tools
Type
Physical Book
Publisher
Author
Language
English
Pages
448
Format
Hardcover
Dimensions
23.4 x 16.3 x 2.8 cm
Weight
0.72 kg.
ISBN
1848210132
ISBN13
9781848210134
Categories

Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

Navet, Nicolas ; Merz, Stephan (Author) · Wiley-Iste · Hardcover

Modeling and Verification of Real-Time Systems: Formalisms and Software Tools - Navet, Nicolas ; Merz, Stephan

New Book Imported to Taiwan
Delivery: 29 Jul - 07 Aug Shipping: 13 to 15 business days.
NT$ 9,681
NT$ 9,681

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Modeling and Verification of Real-Time Systems: Formalisms and Software Tools"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews