Name: Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, ... Notes in Computer Science, Band 1217)
Brand: Springer Berlin Heidelberg
SKU: ID13104748
Availability: InStock

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, ... Notes in Computer Science, Band 1217)

59.00 EUR

Ein Sammelband aus dem TACAS'97‑Workshop in Enschede, der innovative Werkzeuge zur Modellierung, Analyse und Verifikation von eingebetteten Systemen vorstellt; er kombiniert theoretische Grundlagen mit praktischen Fallstudien aus Forschung und Industrie.

Marke: Springer Berlin Heidelberg

ISBN: 3540627901

MPN: 6944896

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Tools and Algorithms for the Construction and Analysis of Systems

SpringerLink DE

59.00 EUR 59.00 EUR

29-07-2026 07:16:53

Access to the deal

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, ... Notes in Computer Science, Band 1217)

Gesponsert Tools and Algorithms for the Construction and Analysis of Systems

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl