Verified Software: Theories Tools Experiments | Kaicus Deutschland

product image

product image

product image

product image

Verified Software: Theories Tools Experiments

106.99 EUR 9% Off 118.00 EUR

Ein Sammelband der ersten IFIP TC 2/WG 2.3-Konferenz in Zürich, der theoretische Modelle, praxisnahe Werkzeuge und experimentelle Erkenntnisse zur Softwareverifikation zusammenführt – ein unverzichtbares Nachschlagewerk für Forscher und Entwickler.

Marke: Bertrand Meyer

ISBN: 9783540691471

SKU: jp-bk-3540691472-11-20

Angebote
Merkmale

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

-9%

Gesponsert Verified Software: Theories Tools Experiments

Hugendubel

106.99 EUR 118.00 EUR

03-11-2026 22:10:52

Access to the deal

-9%

Gesponsert Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... Notes in Computer Science (4171), Band 4171)

106.99 EUR 118.00 EUR

03-11-2026 11:10:04

Access to the deal

Gesponsert Verified Software: Theories, Tools, Experiments

SpringerLink DE

118.00 EUR 118.00 EUR

03-11-2026 17:49:22

Access to the deal

Ähnliche Produkte