National Science Library of Georgia

Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Real-time software design for embedded systems / Hassan Gomaa, George Mason University. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Building parallel, embedded, and real-time applications with Ada / John W. McCormick, Frank Singhoff, Jérôme Hugues. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Building Parallel, Embedded, & Real-Time Applications with Ada
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2008
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Specification and proof in real-time CSP / Jim Davies. by Series: Distinguished dissertations in computer science
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1993
Other title:
  • Specification & Proof in Real Time CSP
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.