Sign in | Register
About us
Cart
FAQ help
Access for licensed users
- Italian
- English
- German
- Spanish
- French

Skip to main content

A number of academic and publishing establishments provide institutional access to Torrossa content for their users. Please contact your organization for information.

Choose the language
Italian
English
German
Spanish
French

FAQ help
Sign in Register
Cart

Advanced search | Browse by discipline | Browse by publisher

Skip to main content

Your store for digital research texts

Advanced search | Browse by discipline | Browse by publisher

Search
Navet, Nicolas

Found 1 results in order of

Page 1 of 1

Content Type
- E-book (1)

File format
- epub (1)

Year of publication
- 2009-2018 (1)

Language
- English (1)

Author
- Merz, Stephan (1)
- Navet, Nicolas (1)

Publisher
- ISTE (1)

Subject
- Pure sciences (1)

LC Classification
- Science (1)

Country of publication
- United Kingdom (1)

Navet, Nicolas

Author

E-book, Modeling and Verification of Real-time Systems : Formalisms and Software Tools, ISTE

Navet, Nicolas | Merz, Stephan

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

View the Terms of Use

Download

Copy/Paste

Printing

EUR 224.41
VAT Excluded

EPUB

eB
E-book

Page 1 of 1

Footer information

Info

Discover Torrossa
Privacy Policy
Cookie Policy
Accessibility
Accessibility Conformance Report (VPAT)

Help

FAQ
How to open files
Torrossa Reader
Copyright obligations
Email: helpdesk@torrossa.com
Tel: +39 055 5018800

Secure Payments

Follow us

Copyright 2000-2026
Casalini Libri
P.IVA IT03106600483

Our Resources

Torrossa Info
Torrossa for Institutions
Torrossa Open
Library Services
Publisher Services