LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900, Band 2900)

CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900, Band 2900)

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

37,48 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9783540207665
Verlag:
Seitenzahl:
260
Auflage:
-
Erschienen:
2008-06-13
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

37,48 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900, Band 2900)
Diese Beschreibung wurde mittels künstlicher Intelligenz generiert

Das Buch "CASL User Manual: Introduction to Using the Common Algebraic Specification Language" von Peter D. Mosses ist Teil der Reihe "Lecture Notes in Computer Science". Es bietet eine umfassende Einführung in die Common Algebraic Specification Language (CASL), die entwickelt wurde, um algebraische Spezifikationen für Software- und Systementwicklung zu unterstützen. Das Handbuch richtet sich sowohl an Anfänger als auch an erfahrene Benutzer und deckt grundlegende Konzepte sowie fortgeschrittene Themen ab. Es behandelt die Syntax und Semantik von CASL, zeigt, wie man Spezifikationen erstellt und analysiert, und erklärt den Einsatz von CASL-Werkzeugen zur Verifikation und Validierung von Spezifikationen. Durch Beispiele und Übungsaufgaben wird das Verständnis gefördert. Das Buch ist ein wertvolles Nachschlagewerk für Informatiker und Softwareingenieure, die sich mit formalen Methoden der Spezifikation beschäftigen möchten.

Produktdetails

Einband:
paperback
Seitenzahl:
260
Erschienen:
2008-06-13
Sprache:
Englisch
EAN:
9783540207665
ISBN:
9783540207665
Verlag:
Gewicht:
431 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
37,48 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl