Common Algebraic Specification Language: Specification Language, Formal Specification, Formal Semantics of Programming Languages - Softcover
Suchergebnisse für Common Algebraic Specification Language: Specification...
Foto des Verkäufers
Common Algebraic Specification Language
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 92 pp. Englisch. Bestandsnummer des Verkäufers 9786133152335
Neu kaufen
EUR 136,00
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Common Algebraic Specification Language | Specification Language, Formal Specification, Formal Semantics of Programming Languages
Print-on-DemandAnbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Common Algebraic Specification Language | Specification Language, Formal Specification, Formal Semantics of Programming Languages | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133152335 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand. Bestandsnummer des Verkäufers 134889490
Neu kaufen
EUR 109,85
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Common Algebraic Specification Language
Print-on-DemandAnbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. The CommonAlgebraic Specification Language (CASL) is a general-purposespecification language based on first-order logic with induction.Partial functions and subsorting are also supported. CASL has beendesigned by CoFI, the Common Framework Initiative, with the aim tosubsume many existing specification languages. The four levels areorthogonal to each other. In particular, it is possible to use CASLstructured and architectural specifications and libraries with logicsother than CASL. For this purpose, the logic has to be formalized as aninstitution. This feature is also used by the CASL extensions.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 92 pp. Englisch. Bestandsnummer des Verkäufers 9786133152335
Neu kaufen
EUR 136,00
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Common Algebraic Specification Language : Specification Language, Formal Specification, Formal Semantics of Programming Languages
Print-on-DemandAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Bestandsnummer des Verkäufers 9786133152335
Neu kaufen
EUR 137,63
EUR 60,78 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar