Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . ... Notes in Computer Science, 2757, Band 2757)

Name: Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . ... Notes in Computer Science, 2757, Band 2757)
Price: 20.43 EUR
Availability: InStock
Author: Aichernig, Bernhard K.
ISBN: 9783540205272

Aichernig, Bernhard K.

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

20,43 €

Lieferzeit 1-3 Werktage

Kurzinformation

Sprache:

Englisch

ISBN:

9783540205272

Verlag:

Springer

Seitenzahl:

476

Auflage:

Erschienen:

2004-01-22

Mit diesem Kauf sparst Du 2,06 kg CO₂

Mehr Informationen zum Zustand

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.

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.

Akzeptabel 20,43 €

Starke Gebrauchsspuren, Seiten und Bindung beschädigt
Knicke oder Markierungen nicht mehr als 20%
CDs und Zugangscodes können fehlen
Auflage kann abweichen

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.

Neu bestellen bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

20,43 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

Beschreibung

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . ... Notes in Computer Science, 2757, Band 2757)

Diese Beschreibung wurde mittels künstlicher Intelligenz generiert

"Formal Methods at the Crossroads: From Panacea to Foundational Support" ist ein Sammelband, der die Beiträge des 10-jährigen Jubiläumskolloquiums des United Nations University International Institute for Software Technology (UNU/IIST) zusammenfasst. Herausgegeben von Bernhard K. Aichernig, beleuchtet das Buch die Entwicklung und Anwendung formaler Methoden in der Softwaretechnik über ein Jahrzehnt hinweg. Es diskutiert die Rolle dieser Methoden als potenzielles Allheilmittel und ihre Weiterentwicklung hin zu einer soliden Unterstützung für Softwareentwicklungsprozesse. Der Band umfasst verschiedene wissenschaftliche Artikel und Fallstudien, die sowohl theoretische als auch praktische Aspekte abdecken, und bietet Einblicke in die Herausforderungen und Erfolge bei der Implementierung formaler Methoden in realen Projekten.