"Design, Specification and Verification of Interactive Systems '99": Proceedings of the Eurographics Workshop in Braga, Portugal, June 2–4, 1999

Ein wissenschaftlicher Sammelband aus dem Eurographics‑Workshop in Braga (Juni 1999), der neue Konzepte zur Gestaltung und Verifikation interaktiv ...
And Verification of
Wo zu kaufen (2) Eigenschaften
Gesponsert
Design, Specification and Verification of Interactive Systems '99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2–4, 1999
Medimops DE
53.49 EUR
Preis aktualisiert am: 26-05-2026 23:47:53
Siehe Produktangebot
Gesponsert
Design, Specification and Verification of Interactive Systems ’99
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 27-05-2026 02:30:20
Siehe Produktangebot

Allgemein

Marke
D.J. Duke
ISBN
D.J. Duke 3211834052
MPN
D.J. Duke 34 black & white illustrations

Eigenschaften

Ähnliche Produkte

Interactive Systems. Design Specification, and Verification
Interactive Systems. Design Specification, and Verification
Produkt anzeigen
Interactive Systems Design, Specification, and Verification
Interactive Systems Design, Specification, and Verification
Produkt anzeigen
Security Policy in System-on-Chip Designs: Specification, Implementation and Verification
Security Policy in System-on-Chip Designs: Specification, Implementation and Verification
Produkt anzeigen
Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 (Focus on Computer Graphics)
Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 (Focus on Computer Graphics)
Produkt anzeigen
Interactive Systems. Design Specification and Verification
Interactive Systems. Design Specification and Verification
Produkt anzeigen
Interactive Systems. Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 (Lecture Notes in Computer Science (2545), Band 2545)
Interactive Systems. Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 (Lecture Notes in Computer Science (2545), Band 2545)
Produkt anzeigen
Menü