Formal Methods for the Design of Real-Time Systems

International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
A large class of computing systems can be speci?ed and veri?ed by abstracting away from the temporal aspects of their behavior. Inreal-timesystems,instead, time issues become essential. Their correctness depends not only on which - tions they can perform,...
Leider schon ausverkauft
versandkostenfrei

Bestellnummer: 4273137

Buch 57.73
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Leider schon ausverkauft
versandkostenfrei

Bestellnummer: 4273137

Buch 57.73
A large class of computing systems can be speci?ed and veri?ed by abstracting away from the temporal aspects of their behavior. Inreal-timesystems,instead, time issues become essential. Their correctness depends not only on which - tions they can perform,...
Andere Kunden interessierten sich auch für
eBook

56.70

Download bestellen
Erschienen am 07.12.2004
sofort als Download lieferbar

19.99

In den Warenkorb
lieferbar

7.99

In den Warenkorb
lieferbar

Für immer deine Tochter

Hera Lind

4.5 Sterne
(22)
Buch

10.99

In den Warenkorb
Erschienen am 11.04.2022
lieferbar

Statt 24.99

19.99

In den Warenkorb
lieferbar

29.99

(59.98€ / 100g)

Vorbestellen
Voraussichtlich lieferbar ab 31.05.2022

Notizblock "Delina"

4.5 Sterne
(15)

5.99

In den Warenkorb
lieferbar

10.99

In den Warenkorb
lieferbar

9.99

(5.00€ / 100g)

In den Warenkorb
lieferbar

Statt 169.00

134.89

In den Warenkorb
lieferbar

14.99

In den Warenkorb
lieferbar

4.99

In den Warenkorb
lieferbar

9.99

In den Warenkorb
lieferbar

19.99

In den Warenkorb
lieferbar

Statt 7.99

5.99

In den Warenkorb
lieferbar

Die Halligärztin-Saga

Lena Johannson

5 Sterne
(7)
Buch

14.99 10

In den Warenkorb
Erschienen am 07.03.2022
lieferbar

19.99

In den Warenkorb
lieferbar

Statt 19.98

16.99

In den Warenkorb
lieferbar

Statt 59.97

49.99

In den Warenkorb
lieferbar
Kommentar zu "Formal Methods for the Design of Real-Time Systems"
Andere Kunden kauften auch

19.99

In den Warenkorb
lieferbar

7.99

In den Warenkorb
lieferbar

Für immer deine Tochter

Hera Lind

4.5 Sterne
(22)
Buch

10.99

In den Warenkorb
Erschienen am 11.04.2022
lieferbar

Statt 24.99

19.99

In den Warenkorb
lieferbar

29.99

(59.98€ / 100g)

Vorbestellen
Voraussichtlich lieferbar ab 31.05.2022

Notizblock "Delina"

4.5 Sterne
(15)

5.99

In den Warenkorb
lieferbar

10.99

In den Warenkorb
lieferbar

9.99

(5.00€ / 100g)

In den Warenkorb
lieferbar

Statt 169.00

134.89

In den Warenkorb
lieferbar

14.99

In den Warenkorb
lieferbar

4.99

In den Warenkorb
lieferbar

9.99

In den Warenkorb
lieferbar

19.99

In den Warenkorb
lieferbar

Statt 7.99

5.99

In den Warenkorb
lieferbar

Die Halligärztin-Saga

Lena Johannson

5 Sterne
(7)
Buch

14.99 10

In den Warenkorb
Erschienen am 07.03.2022
lieferbar

19.99

In den Warenkorb
lieferbar

Statt 19.98

16.99

In den Warenkorb
lieferbar

Statt 59.97

49.99

In den Warenkorb
lieferbar
Weitere Empfehlungen zu „Formal Methods for the Design of Real-Time Systems “
0 Gebrauchte Artikel zu „Formal Methods for the Design of Real-Time Systems“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich