LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
LOTOSphere: Software Development with LOTOS

LOTOSphere: Software Development with LOTOS

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

102,97 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9780792395294
Verlag:
Seitenzahl:
510
Auflage:
-
Erschienen:
1995-01-31
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

102,97 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

LOTOSphere: Software Development with LOTOS
Diese Beschreibung wurde mittels künstlicher Intelligenz generiert

"LOTOSphere: Software Development with LOTOS" von Chris Vissers ist ein umfassendes Werk, das sich mit der Anwendung der formalen Beschreibungssprache LOTOS (Language of Temporal Ordering Specification) im Bereich der Softwareentwicklung beschäftigt. Das Buch bietet eine detaillierte Einführung in die Konzepte und Prinzipien von LOTOS und zeigt, wie diese Sprache zur Spezifikation und Modellierung komplexer Systeme verwendet werden kann. Der Inhalt des Buches umfasst sowohl theoretische Grundlagen als auch praktische Anwendungsfälle. Es behandelt die Syntax und Semantik von LOTOS, erklärt die Strukturierung von Spezifikationen und geht auf die Analyse und Verifikation von Systemmodellen ein. Zudem bietet es Beispiele aus der Praxis, um zu veranschaulichen, wie LOTOS in realen Entwicklungsprojekten eingesetzt werden kann. Durch seine klare Darstellung und den praxisorientierten Ansatz richtet sich das Buch an Softwareentwickler, Ingenieure und Forscher, die sich für formale Methoden interessieren oder diese in ihren Projekten anwenden möchten. Es dient sowohl als Lehrbuch für Studierende als auch als Referenzwerk für Fachleute in der Industrie.

Produktdetails

Einband:
hardcover
Seitenzahl:
510
Erschienen:
1995-01-31
Sprache:
Englisch
EAN:
9780792395294
ISBN:
9780792395294
Verlag:
Gewicht:
821 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
102,97 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl