LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Science and General Issues, Band 7610)

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Science and General Issues, Band 7610)

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

18,22 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9783642340314
Verlag:
Seitenzahl:
380
Auflage:
-
Erschienen:
2012-09-11
Mit diesem Kauf sparst Du 2,06 kg CO2

Mehr Informationen zum Zustand
Green Tree

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
  • Sauberer Zustand, Seiten und Bindung etwas abgenutzt
  • Knicke oder Markierungen nicht mehr als 5%
  • CDs und Zugangscodes verwendbar
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

18,22 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Science and General Issues, Band 7610)
Diese Beschreibung wurde mittels künstlicher Intelligenz generiert

Das Buch "Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012" ist eine Sammlung von wissenschaftlichen Arbeiten, die auf dem fünften Internationalen Symposium über Anwendungen formaler Methoden in Heraklion, Kreta, präsentiert wurden. Die Beiträge befassen sich mit der Anwendung formaler Methoden zur Verifikation und Validierung in verschiedenen Bereichen der Informatik und Ingenieurwissenschaften. Themen wie Modellprüfung, Softwareverifikation, Systemanalyse und die Integration formaler Methoden in den Entwicklungsprozess werden behandelt. Das Werk richtet sich an Forscher und Praktiker, die sich für die neuesten Entwicklungen und Anwendungen in diesem Bereich interessieren. Es bietet sowohl theoretische als auch praktische Einblicke und zeigt auf, wie formale Methoden genutzt werden können, um die Zuverlässigkeit und Sicherheit komplexer Systeme zu verbessern.

Produktdetails

Einband:
paperback
Seitenzahl:
380
Erschienen:
2012-09-11
Sprache:
Englisch
EAN:
9783642340314
ISBN:
9783642340314
Verlag:
Gewicht:
545 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor


Entdecke mehr vom Verlag


Gut
18,22 €
Entdecke mehr zum Thema