Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Formal Verification of Concurrent Embedded Software by Johannes Frederik Jesper

Ø 0.0

0 Bewertungen

28,90 €

By Johannes Frederik Jesper Traub. Author Johannes Frederik Jesper Traub. Formal Verification of Concurrent Embedded Software. Automotive software is mainly concerned with safety critical systems and the functional correctness of the software is very important.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783739241241
Book Title:

Formal Verification of Concurrent Embedded Software
ISBN:

9783739241241

None:

International Standard : tracked-no signature (7 to 15 business days) 13,52 EUR - Lieferung zwischen 07. July 2025 und 14. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Amerikanisch-Samoa , Fidschi , Französisch-Polynesien , Neukaledonien , Papua-Neuguinea , Tonga , Tuvalu , Vanuatu , Samoa (Westsamoa) , Afghanistan , ... und weitere

Formal Verification of Concurrent Embedded Software by Johannes Frederik Jesper

Little Johannes by Frederik Van Eeden Paperback Book

Insect Hormones by Nijhout, H. Frederik

Concurrent Data Processing in Elixir: - Paperback, by Gospodinov Svilen - New h

On Concurrent Programming by Schneider, Fred B.

Hollerecken Taunus Wanderfhrer by Frederik Kurz Paperback Book

Verification of Sequential and Concurrent Programs by Krzysztof R. Apt (English)

Concurrent Programming: The Java Programming Language by Hartley, Stephen

The Pulse of the Earth by Johannes Herman Frederik Umbgrove (English) Paperback

Software Design Methods for Concurrent and Real-Time Systems Hass

Specification and Verification of Concurrent Systems by Charles Rattray (English

Formal Verification of Control System Software (Princeton Series in Applied M...

Programming ERLANG: Software for a Concurrent World by Joe Armstrong: Used

The Concurrent C Programming - Paperback, by Gehani Narain; Roome - Good

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by

Compositional Verification of Concurrent and Real-Time Systems by Jeffrey J.P. T

Real-Time Embedded Systems (Quantitative Software Engineering Series) by

Embedded Software Verification and Debugging by Djones Lettnin (English) Hardcov

Embedded Software Verification and Debugging by Djones Lettnin (English) Paperba

Compositional Verification of Concurrent and Real-Time Systems by Eric Y.T. Juan

Real-Time Systems: Formal Specification and Automatic Verification by Henning Di

Formal Verification of Concurrent Embedded Software by Johannes Frederik Jesper

Ähnliche Artikel

Little Johannes by Frederik Van Eeden Paperback Book

Insect Hormones by Nijhout, H. Frederik

Concurrent Data Processing in Elixir: - Paperback, by Gospodinov Svilen - New h

On Concurrent Programming by Schneider, Fred B.

Hollerecken Taunus Wanderfhrer by Frederik Kurz Paperback Book

Verification of Sequential and Concurrent Programs by Krzysztof R. Apt (English)

Concurrent Programming: The Java Programming Language by Hartley, Stephen

The Pulse of the Earth by Johannes Herman Frederik Umbgrove (English) Paperback

Software Design Methods for Concurrent and Real-Time Systems Hass

Specification and Verification of Concurrent Systems by Charles Rattray (English

Formal Verification of Control System Software (Princeton Series in Applied M...

Programming ERLANG: Software for a Concurrent World by Joe Armstrong: Used

The Concurrent C Programming - Paperback, by Gehani Narain; Roome - Good

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by

Compositional Verification of Concurrent and Real-Time Systems by Jeffrey J.P. T

Real-Time Embedded Systems (Quantitative Software Engineering Series) by

Embedded Software Verification and Debugging by Djones Lettnin (English) Hardcov

Embedded Software Verification and Debugging by Djones Lettnin (English) Paperba

Compositional Verification of Concurrent and Real-Time Systems by Eric Y.T. Juan

Real-Time Systems: Formal Specification and Automatic Verification by Henning Di

Cookie Hinweis