Einloggen | Registrierung
Über uns
Einkaufskorb
FAQ help
Gehören Sie zu einer abonnierten Institution?

Zum Hauptinhalt springen

Universitäten, Bibliotheken und Verlage bieten ihren Benutzern den autorisierten Zugriff auf die Inhalte von Torrossa. Für Informationen wenden Sie sich an Ihre Institution.

Wähle die Sprache
Italienisch
Englisch
Deutsch
Spanisch
Französisch

FAQ help
Einloggen Registrierung
Einkaufskorb

Erweiterte Suche | Nach Thema suchen | Nach Verlag suchen

Zum Hauptinhalt springen

Ihre digitale Forschungsbuchhandlung

Erweiterte Suche | Nach Thema suchen | Nach Verlag suchen

Suche
Navet, Nicolas

Gefunden wurden 1 Ergebnisse geordnet nach

page 1 of 1

Art der Ressource
- eBook (1)

Datei Format
- epub (1)

Erscheinungsjahr
- 2009-2018 (1)

Sprache
- Englisch (1)

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

Verlag
- ISTE (1)

Fach
- Naturwissenschaften und Mathematik (1)

LC Klassifikation
- Science (1)

Erscheinungsland
- Vereinigtes Königreich (1)

Navet, Nicolas

Autor

eBook, 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

Erlaubte Funktionen anzeigen

Download

Kopieren Einfügen

Drucken

EUR 224,41
MwSt ausgenomen

EPUB

eB
eBook

page 1 of 1

Fußzeileninformationen

Information

Entfecken Sie Torrossa
Datenschutz
Cookie Policy
Accessibility
Barrierefreiheits-Konformitätsbericht (VPAT)

Brauchen Sie Hilfe?

FAQ
Wie öffnen Sie unsere Dokumente
Torrossa Reader
Zugriffsmöglichkeiten
Email: helpdesk@torrossa.com
Tel: +39 055 5018800

Sichere Zahlungen

Folgen Sie uns

Copyright 2000-2026
Casalini Libri
P.IVA IT03106600483

Unsere Ressourcen

Torrossa Info
Torrossa für Institutionen
Torrossa Open
Library Services
Publisher Services