Verwandte Artikel zu CASL Reference Manual: The Complete Documentation of...
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2960, Band 2960) - Softcover
Inhaltsangabe
.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für CASL Reference Manual: The Complete Documentation of...
Foto des Verkäufers
CASL Reference Manual : The Complete Documentation Of The Common Algebraic Specification Language
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 2546161-n
Neu kaufen
EUR 114,02
EUR 2,26 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2960)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783540213017
Neu kaufen
EUR 116,35
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
CASL Reference Manual : The Complete Documentation Of The Common Algebraic Specification Language
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 2546161
Gebraucht kaufen
EUR 119,70
EUR 2,26 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
CASL Reference Manual
Verlag:
Springer Berlin Heidelberg Mrz 2004, 2004
ISBN 10: 3540213015
ISBN 13: 9783540213017
Neu
Taschenbuch
Anbieter: 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 -CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks.This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, andcarefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data typesare provided as well as a comprehensive annotated bibliography of CoFI publications.As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual. 552 pp. Englisch. Bestandsnummer des Verkäufers 9783540213017
Neu kaufen
EUR 106,99
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2960)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540213017_new
Neu kaufen
EUR 116,48
EUR 13,98 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
CASL Reference Manual : The Complete Documentation Of The Common Algebraic Specification Language
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 2546161-n
Neu kaufen
EUR 116,47
EUR 17,51 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
CASL Reference Manual
Verlag:
Springer Berlin Heidelberg, 2004
ISBN 10: 3540213015
ISBN 13: 9783540213017
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifyin. Bestandsnummer des Verkäufers 4885115
Neu kaufen
EUR 92,27
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
CASL Reference Manual : The Complete Documentation Of The Common Algebraic Specification Language
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 2546161
Gebraucht kaufen
EUR 126,65
EUR 17,51 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
CASL Reference Manual | The Complete Documentation of the Common Algebraic Specification Language
Print-on-DemandAnbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. CASL Reference Manual | The Complete Documentation of the Common Algebraic Specification Language | Peter D. Mosses | Taschenbuch | xviii | Englisch | 2004 | Springer | EAN 9783540213017 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Bestandsnummer des Verkäufers 102471093
Neu kaufen
EUR 95,70
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
CASL Reference Manual
Verlag:
Springer, Springer Mär 2004, 2004
ISBN 10: 3540213015
ISBN 13: 9783540213017
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks.This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications.As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 552 pp. Englisch. Bestandsnummer des Verkäufers 9783540213017
Neu kaufen
EUR 106,99
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar